git-shell-commands/delete

16 lines
223 B
Text
Raw Normal View History

#!/usr/bin/env sh
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"