zsh/functions/rosinit

   1 #!/bin/zsh
   2
   3 function rosinit() {
   4     local ROS_DISTRO=hydro
   5     local WORKSPACE=~/src/ros
   6     if [[ -f "/opt/ros/$ROS_DISTRO/setup.zsh" ]]; then
   7         export ROS_OS_OVERRIDE=arch
   8         source /opt/ros/$ROS_DISTRO/setup.zsh
   9         source $WORKSPACE/devel/setup.zsh
  10         export ROS_WORKSPACE=$WORKSPACE
  11         roscd
  12     else
  13         echo "ROS $ROS_DISTRO doesn't seem to be installed." >&2
  14     fi
  15 }