diff options
| author | EuAndreh <eu@euandre.org> | 2019-05-26 20:03:04 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2019-05-26 20:03:04 -0300 |
| commit | 13238d26777bcd446459454bf5003b118415a35f (patch) | |
| tree | 80c18d8e1a29ccd11ae1cb7fdb61fe158705d47e /ci-setup.sh | |
| parent | Use nix-shell --pure to run scripts (diff) | |
| download | toph-13238d26777bcd446459454bf5003b118415a35f.tar.gz toph-13238d26777bcd446459454bf5003b118415a35f.tar.xz | |
Use nix-shell shebang to run CI scripts
Diffstat (limited to '')
| -rwxr-xr-x | ci-setup.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci-setup.sh b/ci-setup.sh index b6af3c7..3a84639 100755 --- a/ci-setup.sh +++ b/ci-setup.sh @@ -1,4 +1,5 @@ -#!/usr/bin/env bash +#!/usr/bin/env nix-shell +#!nix-shell -i bash set -Eeuo pipefail cd "${BASH_SOURCE%/*}/" |