You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Change uses of `$ROS_DISTRO` (the old variable name in previous documentation, if I recall correctly) to `$CHOOSE_ROS_DISTRO`.
Going the other way and unifying on `$ROS_DISTRO` would also work, but I am not aware of why `$CHOOSE_ROS_DISTRO` was chosen so maybe that was to avoid confusion with a ROS-provided environment variable.
0 commit comments