Skip to content

Instantly share code, notes, and snippets.

@bmagyar

bmagyar/bashrc_update.md

Created December 18, 2020 09:02
Show Gist options
  • Save bmagyar/420db422391cc91ea9a7dbe7052f5c8d to your computer and use it in GitHub Desktop.
Save bmagyar/420db422391cc91ea9a7dbe7052f5c8d to your computer and use it in GitHub Desktop.
Download ZIP
Alias to source ROS ROS2 workspace
Raw
bashrc_update.md

Internally, it really just tries to source the devel space and failing that it tries install space. Works well for me

Add this to your .bashrc file

alias s='if [ -f "devel/setup.bash" ]; then source devel/setup.bash; else source install/setup.bash; fi'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment