export ROS_OS_OVERRIDE=arch
source /opt/ros/$ROS_DISTRO/setup.zsh
source $WORKSPACE/devel/setup.zsh
export ROS_WORKSPACE=$WORKSPACE
export ROS_OS_OVERRIDE=arch
source /opt/ros/$ROS_DISTRO/setup.zsh
source $WORKSPACE/devel/setup.zsh
export ROS_WORKSPACE=$WORKSPACE