From e0c5fcf0056b3675e0c5424bc9d05a149ba93147 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Wed, 7 Dec 2022 15:39:42 +0100
Subject: fix preludes in bash scripts

---
 .ci/plot.sh | 1 +
 plot.sh     | 1 +
 2 files changed, 2 insertions(+)

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 )"
diff --git a/plot.sh b/plot.sh
index e070861..884661c 100755
--- a/plot.sh
+++ b/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 )"
-- 
cgit v1.2.3