bash-bear rename and a few improvements
[distro-setup] / filesystem / usr / local / bin / myupgrade-iank
index b4cd1a48bcc36065ae8615b63f8cc10fadbb0461..c3d642970c58e258334454890fcee2283f161354 100755 (executable)
@@ -2,9 +2,8 @@
 # Copyright (C) 2019 Ian Kelling
 # SPDX-License-Identifier: AGPL-3.0-or-later
 
-if [ -z "$BASH_VERSION" ]; then echo "error: shell is not bash" >&2; exit 1; fi
+set -e; . /usr/local/lib/bash-bear; set +e
 
-source /usr/local/lib/bash-bear
 pre="${0##*/}:"
 m() { printf "$pre %s\n"  "$*"; "$@"; }
 e() { printf "$pre %s\n"  "$*"; }