diff options
author | Matthias Devlamynck <matthias.devlamynck@mailoo.org> | 2020-10-04 11:37:37 +0200 |
---|---|---|
committer | Matthias Devlamynck <matthias.devlamynck@mailoo.org> | 2020-10-04 11:51:07 +0200 |
commit | b50bd587954e8467cf6141b8c86ca416e74fb26c (patch) | |
tree | 6b0b665e0f1cf544d116fde5406fceb3211e4e4b /assets | |
parent | 203d0bd8ae54cc369faa92c4dc112214831459cd (diff) |
Replace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available
Diffstat (limited to 'assets')
-rwxr-xr-x | assets/create.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/assets/create.sh b/assets/create.sh index 1a639649..a4a8aa04 100755 --- a/assets/create.sh +++ b/assets/create.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |