General DESI utilities, shell scripts, desiInstall, etc.
https://github.com/desihub/desiutil.git
latest