summary refs log tree commit diff
path: root/scripts-dev/next_github_number.sh (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use interpreter from $PATH instead of absolute paths in various scripts ↵Quentin Gliech2021-03-251-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 Brown2018-09-271-0/+9
* changelog * reduce circleci config * plus a handy script * fix regex