various fixes and updates

[distro-setup] / mail-route

diff --git a/mail-route b/mail-route
index 332f1edbf592728bd916dedb2816c50b3c67c20a..a1c1b478a22d1ff16466bbb3a43e06c2b8088029 100755 (executable)
--- a/mail-route
+++ b/mail-route
@@ -60,7 +60,7 @@ up() {
     fi
   fi
   e() { echo "$0: $*"; "$@"; }
-  _errcatch_cleanup=stop
+  err-cleanup() { stop; }
   modify
   # we leave it as is even when stopping, because we would like it to be default, but the only way
   # to change the default is for every device, and I want to avoid that, even though I wouldn't mind, others users of this script might.