add compatibility for Bash 4 to setup.sh (#2519)

The command `shopt -s inherit_errexit` does not work in Bash < v4.4. This is now fixed.
This commit is contained in:
Georg Lauterbach 2022-04-01 19:10:39 +02:00 committed by GitHub
parent 7655c788ee
commit 2707474361
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -26,7 +26,7 @@ LBLUE="\e[94m"
RESET="\e[0m" RESET="\e[0m"
set -euEo pipefail set -euEo pipefail
shopt -s inherit_errexit shopt -s inherit_errexit 2>/dev/null || true
trap '__err "${BASH_SOURCE}" "${FUNCNAME[0]:-?}" "${BASH_COMMAND:-?}" "${LINENO:-?}" "${?:-?}"' ERR trap '__err "${BASH_SOURCE}" "${FUNCNAME[0]:-?}" "${BASH_COMMAND:-?}" "${LINENO:-?}" "${?:-?}"' ERR
function __err function __err