If something goes wrong with modifying .bashrc [here](https://github.com/picoCTF/start-problem-dev/blob/master/setup-cmgr.md) It would be really nice to have a known good version to fallback to.
