delete-repo 558 B

123456789101112131415161718
  1. #!/bin/bash
  2. # * delete-repo
  3. # Allows users to delete repositories permanently
  4. # ssh git@host delete-repo repo1 repo2 ...
  5. set -e
  6. for repo in "$@"; do
  7. repo="$(sed -r 's,^/*,,' <<<"$repo")"
  8. _repo="$(sed -r -e '/(^|\/)\.\.($|\/)/d' -e "s,[^A-Za-z0-9\./_~-],,g" <<<"$repo")"
  9. test "$repo" != "$_repo" && { printf 'Illegal name: %s\n' "${repo}"; continue; }
  10. test ! -d "$repo".git && { printf 'Does not exist: %s\n' "${repo}"; continue; }
  11. echo "Removing ${repo}.git"
  12. # lo and behold absolute horror
  13. rm -rf -- "$repo".git
  14. done