1 files changed, 12 insertions, 0 deletions
diff --git a/git.liw.fi.sh b/git.liw.fi.sh
index f4245f1..b064ad5 100644
--- a/git.liw.fi.sh
+++ b/git.liw.fi.sh
@@ -34,3 +34,15 @@ user_exists()
 {
     ssh "$GITANO@$GITHOST" user | grep "^$1:"
 }
+
+
+# Remove a user from the server. This is a two-step process.
+
+user_del()
+{
+    if run_gitano_as "$1" user del "$2" 2> "$DATADIR/temp"
+    then
+	secret=$(awk '{ s = $2 } END { print s }' "$DATADIR/temp")
+	run_gitano_as "$1" user del "$2" "$secret"
+    fi
+}