From 6bab779d41fa81ae544f795a1f9af8344c35427a Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Fri, 11 Nov 2016 03:50:16 -0500 Subject: remove things that now live elsewhere --- misc/git-shell-commands/delete-repo | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 misc/git-shell-commands/delete-repo (limited to 'misc/git-shell-commands/delete-repo') diff --git a/misc/git-shell-commands/delete-repo b/misc/git-shell-commands/delete-repo deleted file mode 100755 index 5ef94b1..0000000 --- a/misc/git-shell-commands/delete-repo +++ /dev/null @@ -1,17 +0,0 @@ -#!/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 -- cgit v1.2.3-54-g00ecf