bash-bear rename and a few improvements
[distro-setup] / filesystem / usr / local / bin / myupgrade
index 6c4ed879a7ee4baeb24c5e201e417534b967274b..f204796b25c3ebf50f0195f09f3f0d8305c62db4 100755 (executable)
@@ -7,9 +7,8 @@
 # Note: running this inside a cronjob, it wont mail any output if we end
 # up rebooting from this script.
 
-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##*/}:"
 PATH="/sbin:$PATH"
 m() { printf "$pre %s\n"  "$*"; "$@"; }