[ros-setup] add missing tue-install-pipe

tue-robotics · Sep 27, 2022 · 2eb8395 · 2eb8395
1 parent 51a9dfe
commit 2eb8395
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ros-setup/install.bash b/ros-setup/install.bash
@@ -31,7 +31,7 @@ then
     then
         tue-install-debug "No existing GPG key of ROS repository found, adding a new one"
         ADD_ROS_GPG_KEY=true
-    elif gpg --import --import-options show-only "${keyfile}" 2> /dev/null | grep -q expired
+    elif tue-install-pipe gpg --import --import-options show-only "${keyfile}" 2> /dev/null | grep -q expired
     then
         tue-install-debug "Updating expired GPG key of ROS repository"
         ADD_ROS_GPG_KEY=true