Update `vcsh delete`

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index 58faf367b390227377298f4bbcd8ce2a1f76afbb..25f52f844099e382e42310dda2d8694c30228b50 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -211,6 +211,31 @@ elif [ "$1" = 'seed-gitignore' ]; then
        cd "$old_dir"
        verbose "seed-gitignore end"
 
+elif [ "$1" = 'delete' ]; then
+       verbose "delete begin"
+       REPO_NAME=$2
+       [ -z $REPO_NAME ] && help && echo && echo "$SELF $1: error: please specify repository to work on" && return 0
+       old_dir="$PWD"
+       cd "$HOME"
+       use $REPO_NAME || return 1
+       echo "$SELF: info: This operation WILL DETROY DATA!"
+       files=$(git ls-files)
+       echo "These files would be deleted:
+
+$files
+
+AGAIN, THIS WILL DELETE YOUR DATA!
+To continue, type \"Yes, do as I say\""
+       read answer
+       [ "x$answer" = "xYes, do as I say" ] || exit
+       for file in $files; do
+               rm -f $file || echo "$SELF: info: could not delete '$file', continuing with deletion"
+       done
+       rm -rf "$VCSH_BASE/$REPO_NAME.git" || echo "$SELF: info: could not delete '$VCSH_BASE/$REPO_NAME.git'"
+       cd "$old_dir"
+       verbose "delete end"
+
+
 else
        verbose "defaulting to calling help()"
        help