-
-
Save zchen24/11291269 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| # Set the workspace to the current directory | |
| alias wspwd='export ROS_WORKSPACE=$(pwd)' | |
| # Save the workspace used in this shell as the current workspace | |
| alias wssave='echo -e "$ROS_WORKSPACE" > ~/.curws' | |
| # Load the saved workspace into this shell | |
| alias wsload='source $(cat ~/.curws)/setup.bash' |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment