Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use interpreter from $PATH instead of absolute paths in various scripts ↵ | Quentin Gliech | 2021-03-25 | 1 | -2/+2 |
| | | | | | | | | | using /usr/bin/env (#9689) On NixOS, `bash` isn't under `/bin/bash` but rather in some directory in `$PATH`. Locally, I've been patching those scripts to make them work. `/usr/bin/env` seems to be the only [portable way](https://unix.stackexchange.com/questions/29608/why-is-it-better-to-use-usr-bin-env-name-instead-of-path-to-name-as-my) to use binaries from the PATH as interpreters. Signed-off-by: Quentin Gliech <quentingliech@gmail.com> | ||||
* | Reduce the load on our CI (#3957) | Amber Brown | 2018-09-27 | 1 | -0/+9 |
* changelog * reduce circleci config * plus a handy script * fix regex |