2019-12-22 22:33:19 +00:00
|
|
|
#!/usr/bin/env sh
|
2019-02-17 18:35:40 +00:00
|
|
|
|
2019-12-22 22:50:02 +00:00
|
|
|
source "$(dirname "$0")/pre-script"
|
|
|
|
|
|
2019-02-17 18:35:40 +00:00
|
|
|
if [[ -z "$1" ]]; then
|
|
|
|
|
echo "Please enter a repository name"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [[ ! -d "$1.git" ]]; then
|
|
|
|
|
echo "Repo $1 doesn't exist"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
rm -rf "$1.git"
|
|
|
|
|
echo "Successfully deleted repository $1"
|
|
|
|
|
|
