diff options
author | Felix Bühler <Stunkymonkey@users.noreply.github.com> | 2022-01-07 23:22:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-07 22:22:35 +0000 |
commit | 961aeb147e3949b7687efb751bc3c49bf790c9c8 (patch) | |
tree | 9a02ddac1fd711988c7b5b21335298e7021a569a /generate-stackbrew-library.sh | |
parent | c046638a989032c3fbea02b40b5af8fc1eb3c9d7 (diff) |
run bash via env command (#1637)
`#!/usr/bin/env` searches `PATH` for `bash`, and `bash` is not always in `/bin``
Signed-off-by: Felix Buehler <account@buehler.rocks>
Diffstat (limited to 'generate-stackbrew-library.sh')
-rwxr-xr-x | generate-stackbrew-library.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generate-stackbrew-library.sh b/generate-stackbrew-library.sh index e5ee7efe..b747bc40 100755 --- a/generate-stackbrew-library.sh +++ b/generate-stackbrew-library.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -Eeuo pipefail stable_channel='22.2.3' |