Skip to content

Commit 7f05a87

Browse files
committed
minor fix
1 parent 6a81fcc commit 7f05a87

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

install.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -281,7 +281,7 @@ mkdir -p "$HOME/$ROS_INSTALL_ROOT"/src
281281
chown -R "$USER": "$HOME/$ROS_INSTALL_ROOT" > /dev/null 2>&1
282282

283283
# Move to working directory
284-
pushd "$HOME/$ROS_INSTALL_ROOT" || {
284+
pushd "$HOME/$ROS_INSTALL_ROOT" > /dev/null 2>&1 || {
285285
echo -e "\033[31m❌ Error: Failed to change to directory $HOME/$ROS_INSTALL_ROOT. \
286286
Please check if the directory exists and you have the necessary permissions.\033[0m"
287287
exit 1

0 commit comments

Comments
 (0)