Explicitly forward kerberos tokens in create-user

diff --git a/create-user b/create-user
index f9c49c0..239f240 100755 (executable)
--- a/create-user
+++ b/create-user
@@ -42,18 +42,18 @@ fi
 # needed.
 function mire_and_deleuze() {
     $*
-    ssh mire.hcoop.net $*
+    ssh -K mire.hcoop.net $*
 }
 
 function execute_on_fritz () {
-    ssh fritz.hcoop.net $*
+    ssh -K fritz.hcoop.net $*
 }
 
 function execute_on_all_machines () {
     $*
-    ssh mire.hcoop.net $*
-    ssh hopper.hcoop.net $*
-    ssh fritz.hcoop.net $*
+    ssh -K mire.hcoop.net $*
+    ssh -K hopper.hcoop.net $*
+    ssh -K fritz.hcoop.net $*
 }
 
 #