rename err to bash-bear

[distro-setup] / check-radicale

diff --git a/check-radicale b/check-radicale
index bf0729cb26fbaa27dd9a76b75a495b9f0955ef36..99599a51ce86cc9e130ec5e6aa3fa305d17cda70 100755 (executable)
--- a/check-radicale
+++ b/check-radicale
@@ -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