diff options
author | Parabola git <git@parabola.nu> | 2016-07-07 22:31:39 +0000 |
---|---|---|
committer | Parabola git <git@parabola.nu> | 2016-07-07 22:31:39 +0000 |
commit | 0c774a11d390fba141a39a4ec96557015d29626d (patch) | |
tree | b5691b89681a4c1f24882c62b33f858c57199d4b /git-shell-commands/delete-repo | |
parent | d8dbd10192041d5638987fb279a2e452ce5adcfb (diff) | |
parent | f985decc7edecd2376a4d08cdc29bbf42f18da12 (diff) |
Merge remote-tracking branch 'hackers/lukeshu/tmp'
Diffstat (limited to 'git-shell-commands/delete-repo')
-rwxr-xr-x | git-shell-commands/delete-repo | 17 |
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 |