123456789101112131415161718 |
- #!/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
|