rename err to bash-bear
[distro-setup] / switch-mail-host
index 3f299bab601488f44c7d4a7f64ce2601c04ed76c..b31ab793951f6807879e37eb1dcfd7beaf5ed39c 100644 (file)
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-source /usr/local/lib/err
+source /usr/local/lib/bash-bear
 
 usage() {
   cat <<EOF
@@ -126,7 +126,7 @@ if ! $force && { $check_installed || [[ $direction == push ]]; } ; then
       uninstalled-file-die $f
     fi
   done
-  if ! diff -q /a/bin/errhandle/err /usr/local/lib/err; then
+  if ! diff -q /a/bin/bash-bear-trap/bash-bear /usr/local/lib/bash-bear; then
     uninstalled-file-die err
   fi
   if $check_installed; then