blob: 04e896b9df0de904b97579d7b9e2c8535d064a1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/bash
# * delete-repo REPO [REPO2...]
# Allows users to delete REPO.git permanently
# Example: delete-repo packages/libretools packages/pbs-tools
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
|
