GsDevKit_home
GsDevKit_home copied to clipboard
should document `. bin/defHOME_PATH.env`
@LisaAlmarode it's your call, but I personally find this script useful ... we could use it as part of main install script ... or not ... the two use cases are:
- the dev hasn't added GS_HOME to .bashrc (do we recommend this?)
- the dev is switching between two GsDevKit_home checkouts ...