diff options
| -rwxr-xr-x | fix-website.sh | 2 | ||||
| -rwxr-xr-x | gen-authors.sh | 2 | ||||
| -rwxr-xr-x | set-serial.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/fix-website.sh b/fix-website.sh index 3a2b4af..18d54a8 100755 --- a/fix-website.sh +++ b/fix-website.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#! /usr/bin/env bash set -eu shopt -s nullglob diff --git a/gen-authors.sh b/gen-authors.sh index f2c10e5..42c32d8 100755 --- a/gen-authors.sh +++ b/gen-authors.sh @@ -1,4 +1,4 @@ -#! /bin/sh +#! /usr/bin/env bash set -eu diff --git a/set-serial.sh b/set-serial.sh index 93a9140..7e52ed4 100755 --- a/set-serial.sh +++ b/set-serial.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#! /usr/bin/env bash set -eu |