Kevin Daun kdaun
StefanFabian
/ multienv_setup.sh
Last active
February 9, 2023 14:52
MultiEnv: A small bash tool to handle multiple (possibly) clashing bash environments, e.g., different ROS workspaces
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
| #!/bin/bash | |
| # ___ ___ _ _ _ _____ _ ____ __ _ __ __ | |
| # | \/ | | | | | | | |_ _| | | | __| | \ | | \ \ / / | |
| # | |\ /| | | |_| | | |__ | | | | | |__ | \ | | \ \ / / | |
| # |_| \/ |_| |_____| |____| |_| |_| | __| | |\ \| | \ \/ / | |
| # | |__ | | \ | \ / | |
| # v1.0 by Stefan Fabian |____| |_| \__| \/ | |
| # | |
| # This script installs multienv, a small bash tool that allows you to easily switch between environments. | |
| # For available commands run 'multienv help' after installation. |