From 01707c746f1b0ade415d033fdef679c227e01b7a Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Mon, 22 May 2023 07:35:53 +0000 Subject: ignore unsupported inherit_errexit I have a really ancient machine with an even more ancient version of bash that doesn't support inherit_errexit. Ignore for now, put it back later. --- %HOME%/.bash_utils/file.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '%HOME%/.bash_utils/file.sh') diff --git a/%HOME%/.bash_utils/file.sh b/%HOME%/.bash_utils/file.sh index 351b962..c434fdb 100644 --- a/%HOME%/.bash_utils/file.sh +++ b/%HOME%/.bash_utils/file.sh @@ -7,7 +7,7 @@ swap_files() ( set -o errexit -o nounset -o pipefail - shopt -s inherit_errexit + shopt -s inherit_errexit 2> /dev/null || true if [ "$#" -ne 2 ]; then echo "usage: ${FUNCNAME[0]} PATH1 PATH2" >&2 @@ -40,7 +40,7 @@ swap_files() ( pastebin() ( set -o errexit -o nounset -o pipefail - shopt -s inherit_errexit + shopt -s inherit_errexit 2> /dev/null || true if [ "$#" -ne 1 ]; then echo "usage: ${FUNCNAME[0]} PATH" >&2 -- cgit v1.2.3