diff options
Diffstat (limited to '')
| -rw-r--r-- | %HOME%/.bash_utils/file.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 |