From c4dc07c4bfa095b05248b5dd93e8d9b148086752 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Samuel=20Thor=C3=A9n?= Date: Tue, 2 Jan 2024 10:06:00 +0100 Subject: [PATCH] Update check for if ROS2 already installed --- scripts/installation/install_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/installation/install_deps.sh b/scripts/installation/install_deps.sh index 877c3f4a3..b8be49b7e 100755 --- a/scripts/installation/install_deps.sh +++ b/scripts/installation/install_deps.sh @@ -25,7 +25,7 @@ check_command_failed $? "Failed to install dependencies." ROS_DISTRO=humble # Check if the ROS2 repository is already added -if ! (dpkg -l | grep -q "ros-$ROS_DISTRO-desktop"); then +if ! (apt list | grep -q "ros-$ROS_DISTRO-desktop"); then echo "Adding the ROS2 $ROS_DISTRO apt repository..." # Install ROS2 prerequisites