Enable the errexit option in all shell scripts

yrodiere · yrodiere · commit cebd5db23ce6 · 2021-08-04T12:32:15.000+02:00
diff --git a/check-sourceforge-availability.sh b/check-sourceforge-availability.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} | xargs dirname)"
 
diff --git a/create-tag.sh b/create-tag.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 PROJECT=$1
 RELEASE_VERSION=$2
diff --git a/deploy.sh b/deploy.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} | xargs dirname)"
 
diff --git a/mvn-setup.sh b/mvn-setup.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 # To be sourced from other scripts. Tip: use the following lines to source it independently from the PWD,
 # provided your script is in the same directory as this one:
 #     SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} | xargs dirname)"
diff --git a/prepare-release.sh b/prepare-release.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} | xargs dirname)"
 
diff --git a/push-upstream.sh b/push-upstream.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 PROJECT=$1
 RELEASE_VERSION=$2
diff --git a/update-version.sh b/update-version.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} | xargs dirname)"
 
diff --git a/upload-distribution.sh b/upload-distribution.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} | xargs dirname)"
 
diff --git a/upload-documentation.sh b/upload-documentation.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 PROJECT=$1
 RELEASE_VERSION=$2
diff --git a/utils.sh b/utils.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 # To be sourced from other scripts. Tip: use the following lines to source it independently from the PWD,
 # provided your script is in the same directory as this one:
 #     SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} | xargs dirname)"
diff --git a/validate-release.sh b/validate-release.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -e
 
 PROJECT=$1
 RELEASE_VERSION=$2

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/usr/bin/env bash`
	`1`	`+#!/usr/bin/env -S bash -e`
`2`	`2`
`3`	`3`	`SCRIPTS_DIR="$(readlink -f ${BASH_SOURCE[0]} \| xargs dirname)"`
`4`	`4`