diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-12-07 15:39:42 +0100 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-12-07 15:39:42 +0100 |
| commit | e0c5fcf0056b3675e0c5424bc9d05a149ba93147 (patch) | |
| tree | d982e863dc7e7ae4aef6baa1cf000aa4c17c2790 | |
| parent | README: update (diff) | |
| download | sorting-algorithms-e0c5fcf0056b3675e0c5424bc9d05a149ba93147.tar.gz sorting-algorithms-e0c5fcf0056b3675e0c5424bc9d05a149ba93147.zip | |
fix preludes in bash scripts
| -rwxr-xr-x | .ci/plot.sh | 1 | ||||
| -rwxr-xr-x | plot.sh | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.ci/plot.sh b/.ci/plot.sh index 091abab..fee1166 100755 --- a/.ci/plot.sh +++ b/.ci/plot.sh @@ -6,6 +6,7 @@ # Distributed under the MIT License. set -o errexit -o nounset -o pipefail +shopt -s inherit_errexit lastpipe script_dir="$( dirname -- "${BASH_SOURCE[0]}" )" script_dir="$( cd -- "$script_dir" && pwd )" @@ -6,6 +6,7 @@ # Distributed under the MIT License. set -o errexit -o nounset -o pipefail +shopt -s inherit_errexit lastpipe script_dir="$( dirname -- "${BASH_SOURCE[0]}" )" script_dir="$( cd -- "$script_dir" && pwd )" |