#!/bin/zsh function rosinit() { local ROS_DISTRO=hydro local WORKSPACE=~/src/ros if [[ -f "/opt/ros/$ROS_DISTRO/setup.zsh" ]]; then export ROS_OS_OVERRIDE=arch source /opt/ros/$ROS_DISTRO/setup.zsh source $WORKSPACE/devel/setup.zsh export ROS_WORKSPACE=$WORKSPACE roscd else echo "ROS $ROS_DISTRO doesn't seem to be installed." >&2 fi }