diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-12-03 19:03:55 +0100 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-12-03 19:12:44 +0100 |
commit | 24021f4742244df8b5d6196e37f5ac8fc5e82353 (patch) | |
tree | cf0849b5b39bf2fb1a4542388397ef3d9d8cfbf6 /scripts | |
parent | README: update (diff) | |
download | cimple-24021f4742244df8b5d6196e37f5ac8fc5e82353.tar.gz cimple-24021f4742244df8b5d6196e37f5ac8fc5e82353.zip |
fix preludes in bash scripts
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/pre-commit | 1 | ||||
-rwxr-xr-x | scripts/setup-hooks | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/scripts/pre-commit b/scripts/pre-commit index b75ea9f..8a98a0e 100755 --- a/scripts/pre-commit +++ b/scripts/pre-commit @@ -1,6 +1,7 @@ #!/usr/bin/env bash set -o errexit -o nounset -o pipefail +shopt -s inherit_errexit lastpipe if ! command -v git-clang-format &> /dev/null; then echo "Please make sure git-clang-format is available." >&2 diff --git a/scripts/setup-hooks b/scripts/setup-hooks index 745c7c7..f4d1b1f 100755 --- a/scripts/setup-hooks +++ b/scripts/setup-hooks @@ -1,6 +1,7 @@ #!/usr/bin/env bash set -o errexit -o nounset -o pipefail +shopt -s inherit_errexit lastpipe script_dir="$( dirname -- "${BASH_SOURCE[0]}" )" script_dir="$( cd -- "$script_dir" && pwd )" |