Skip to content

Instantly share code, notes, and snippets.

@adamheins
Last active May 15, 2020 16:13
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save adamheins/974d199b57ccd00c28c43ddc1b349c84 to your computer and use it in GitHub Desktop.
Save adamheins/974d199b57ccd00c28c43ddc1b349c84 to your computer and use it in GitHub Desktop.
Code to source different ROS installations
if [ -d /opt/ros/kinetic ]; then
source /opt/ros/kinetic/setup.bash
# path to charlottetown installation
export DSL_ROS_DIR=~/dev/charlottetown
if [ -f "$DSL_ROS_DIR"/extras/devel/setup.bash ]; then
source "$DSL_ROS_DIR"/extras/devel/setup.bash
fi
if [ -f "$DSL_ROS_DIR"/dsl/devel/setup.bash ]; then
source "$DSL_ROS_DIR"/dsl/devel/setup.bash
fi
elif [ -d /opt/ros/indigo ]; then
source /opt/ros/indigo/setup.bash
# path to catkin workspace where mobile manipulator code is built
export MM_WS=~/phd/code/mm/catkin_ws
if [ -f "$MM_WS"/devel/setup.bash ]; then
source "$MM_WS"/devel/setup.bash
fi
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment