diff options
author | Tim Sampson <tim@sampson.fi> | 2019-02-02 12:19:11 +0200 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2019-04-25 17:52:21 +0200 |
commit | 7afdd44c4370bf2d7172d09a32e883b90d653dbe (patch) | |
tree | e6d7c6b0325afbc92b028c79cc4771c82bc67d3c | |
parent | d72549a873a20f8fb89fdcaecc7a9a4b82883d61 (diff) |
cache/misc: be more cautious with bash
-rwxr-xr-x | assets/create.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/assets/create.sh b/assets/create.sh index 39656183..602069f6 100755 --- a/assets/create.sh +++ b/assets/create.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -euo pipefail ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |