summaryrefslogtreecommitdiff
path: root/git-shell-commands/delete-repo
diff options
context:
space:
mode:
authorParabola git <git@parabola.nu>2016-07-07 22:31:39 +0000
committerParabola git <git@parabola.nu>2016-07-07 22:31:39 +0000
commit0c774a11d390fba141a39a4ec96557015d29626d (patch)
treeb5691b89681a4c1f24882c62b33f858c57199d4b /git-shell-commands/delete-repo
parentd8dbd10192041d5638987fb279a2e452ce5adcfb (diff)
parentf985decc7edecd2376a4d08cdc29bbf42f18da12 (diff)
Merge remote-tracking branch 'hackers/lukeshu/tmp'
Diffstat (limited to 'git-shell-commands/delete-repo')
-rwxr-xr-xgit-shell-commands/delete-repo17
1 files changed, 17 insertions, 0 deletions
diff --git a/git-shell-commands/delete-repo b/git-shell-commands/delete-repo
new file mode 100755
index 0000000..5ef94b1
--- /dev/null
+++ b/git-shell-commands/delete-repo
@@ -0,0 +1,17 @@
+#!/bin/bash
+# * delete-repo
+# Allows users to delete repositories permanently
+# ssh git@host delete-repo repo1 repo2 ...
+
+set -e
+
+for repo in "$@"; do
+ repo="$(sed -r 's,^/*,,' <<<"$repo")"
+ _repo="$(sed -r -e '/(^|\/)\.\.($|\/)/d' -e "s,[^A-Za-z0-9\./_~-],,g" <<<"$repo")"
+ test "$repo" != "$_repo" && { printf 'Illegal name: %s\n' "${repo}"; continue; }
+ test ! -d "$repo".git && { printf 'Does not exist: %s\n' "${repo}"; continue; }
+
+ echo "Removing ${repo}.git"
+ # lo and behold absolute horror
+ rm -rf -- "$repo".git
+done