source /opt/ros/$ROS_DISTRO/setup.zsh
source $WORKSPACE/devel/setup.zsh
export ROS_WORKSPACE=$WORKSPACE
+ export ROS_HOME=$XDG_CACHE_HOME/ros
+ export ROS_LOG_DIR=$XDG_CACHE_HOME/ros/log
+ # export ROS_TEST_RESULTS_DIR=$HOME/.ros
roscd
else
echo "ROS $ROS_DISTRO doesn't seem to be installed." >&2