lots of updates, things working
[distro-setup] / switch-mail-host
index c74c54a989ac9b9d1ec7641c4450d7485ac1a8b4..b79559657a6aff8753b021fb84ba930f067ec2e7 100755 (executable)
@@ -27,6 +27,7 @@ fi
 
 old_host=$1
 new_host=$2
+source /a/bin/bash_unpublished/source-semi-priv
 
 if [[ $old_host != $MAIL_HOST ]]; then
     read -p "warning: \$old_host != \$MAIL_HOST: $old_host != $MAIL_HOST, proceed? y/N "