rename err to bash-bear
[distro-setup] / mailclean
index 31a431ab0b3fdd3c8f42cb404b8b214b2523f6b4..e79794a5a6fe236e38750258583f248ed188f976 100755 (executable)
--- a/mailclean
+++ b/mailclean
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 if [ -z "$BASH_VERSION" ]; then echo "error: shell is not bash" >&2; exit 1; fi
-source /a/bin/errhandle/err
+source /a/bin/bash-bear-trap/bash-bear
 
 source /a/bin/bash_unpublished/source-state
 if [[ $HOSTNAME != "$MAIL_HOST" ]]; then