Skip to content

Instantly share code, notes, and snippets.

@jbohren
Created January 9, 2014 17:47
Show Gist options
  • Save jbohren/8338567 to your computer and use it in GitHub Desktop.
Save jbohren/8338567 to your computer and use it in GitHub Desktop.
alias cm='catkin_make'
alias cmi='catkin_make_isolated'
alias cmii='catkin_make_isolated --install'
alias wspwd='export ROS_WORKSPACE=$(pwd)'
alias wssave='echo -e "$(pwd)" > ~/.curws'
alias wsload='source $(cat ~/.curws)/setup.bash'
alias wscd='cd $(cat ~/.curws)/../src'
# Source a catkin workspace
wssource () {
source $1/devel/setup.bash
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment