create-user: update for new servers

[hcoop/scripts.git] / destroy-user

diff --git a/destroy-user b/destroy-user
index 1879ec1..899917f 100755 (executable)
--- a/destroy-user
+++ b/destroy-user
@@ -88,11 +88,11 @@ pts delete $USER.daemon
 #fs rm /afs/hcoop.net/old/mail/$PATHBITS
 #fs rm /afs/hcoop.net/old/logs/$PATHBITS
 
-vos syncserv fritz
-vos syncvldb fritz
+vos syncserv gibran
+vos syncvldb gibran
 fs checkvolumes
 
 # Remove user from all of our mailing lists
-echo $USER@hcoop.net | ssh -K mccarthy sudo -u list \
+echo $USER@hcoop.net | ssh -K minsky sudo -u list \
     /var/lib/mailman/bin/remove_members --fromall -f -