Test repository removal

1 files changed, 26 insertions, 0 deletions

diff --git a/git.liw.fi.sh b/git.liw.fi.sh
index 304bfdb..1c52c2e 100644
--- a/git.liw.fi.sh
+++ b/git.liw.fi.sh
@@ -81,6 +81,32 @@ user_del()
 }
 
 
+# Does a repository exist?
+
+repo_exists()
+{
+    run_gitano_as "$1" ls | awk -v "r=$2" '$NF == r' | grep .
+}
+
+
+# Clone repo over ssh.
+
+clone_with_ssh()
+{
+    localdir="$DATADIR/$1/$2"
+    rm -rf "$localdir"
+    mkdir -p "$localdir"
+    url="ssh://$GITANO@$GITHOST/$2"
+    if [ "$1" = admin ]
+    then
+	git clone "$url" "$localdir"
+    else
+	KEYFILE="$DATADIR/$1.key" \
+	    PATH="$SRCDIR:$PATH" git clone "$url" "$localdir"
+    fi
+}
+
+
 # Remove a repository from the server. This is a two-step process.
 
 destroy_repo()