Skip to content

Commit

Permalink
[ros1] more env var fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
MatthijsBurgh committed Apr 29, 2024
1 parent 81f970c commit 9c578cd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ros1/install.bash
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
if [[ ! -v TUE_ENV_ROS_DISTRO && -v TUE_ROS_DISTRO ]]
then
TUE_ENV_ROS_DISTRO=${TUE_ROS_DISTRO}
>&2 echo "Change the config of your environment to use 'TUE_ENV_ROS_DISTRO' instead of 'TUE_ROS_DISTRO'"
tue-install-warning "Change the config of your environment to use 'TUE_ENV_ROS_DISTRO' instead of 'TUE_ROS_DISTRO'"
fi
if [[ -z "${TUE_ENV_ROS_DISTRO}" ]]
then
Expand Down

0 comments on commit 9c578cd

Please sign in to comment.