Merge branch 'force-delete-repo' of https://github.com/jsternberg/vcsh

diff --combined vcsh
index 499acc1b332bb9af5fb351c1252b9de0a7e6069b,24c892195579fd8b7b4e1ddd4090ffae3bbdd72e..bd0eca1ef635c2c847143d27e3f406f211604dc6
--- 1/vcsh
--- 2/vcsh
+++ b/vcsh
@@@ -138,7 -138,7 +138,7 @@@ clone() 
  delete() {
        cd "$VCSH_BASE" || fatal "could not enter '$VCSH_BASE'" 11
        use
 -      info "This operation WILL DETROY DATA!"
 +      info "This operation WILL DESTROY DATA!"
        files=$(git ls-files)
        echo "These files will be deleted:
  
@@@ -151,7 -151,7 +151,7 @@@ To continue, type 'Yes, do as I say'
        for file in $files; do
                rm -f $file || info "could not delete '$file', continuing with deletion"
        done
-       rm -r "$GIT_DIR" || error "could not delete '$GIT_DIR'"
+       rm -rf "$GIT_DIR" || error "could not delete '$GIT_DIR'"
  }
  
  enter() {