bash-bear rename and a few improvements

[distro-setup] / zboot

diff --git a/zboot b/zboot
index e0fcc619b46ea556fd692385f073787a4038aa76..bf9c7c25a32b29c80ddf3317fa6d7c58913b1e53 100755 (executable)
--- a/zboot
+++ b/zboot
@@ -3,7 +3,7 @@
 script=$(readlink -f -- "$BASH_SOURCE")
 [[ $EUID == 0 ]] || exec sudo -E "$script" "$@"
 
-source /usr/local/lib/bash-bear
+set -e; . /usr/local/lib/bash-bear; set +e
 
 
 # Explaining this whole thing. The host amy is used by someone else,