improve licensing

[distro-setup] / primary-setup

diff --git a/primary-setup b/primary-setup
index 49961efed986a3fb6e704cf20de161603490d475..3803d885df340191762641f32183bf7a23aa3cf8 100755 (executable)
--- a/primary-setup
+++ b/primary-setup
@@ -3,7 +3,7 @@
 # usage $0 [MAIL_HOST]
 # setup things which involve being the primary host or not
 
-source /usr/local/lib/err
+set -e; . /usr/local/lib/bash-bear; set +e
 
 script_name="${BASH_SOURCE[0]}"
 script_name="${script_name##*/}"