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

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index 4fb1c4571120dc83c926aa9d47e1f7d7d8e0921f..bd0eca1ef635c2c847143d27e3f406f211604dc6 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -138,7 +138,7 @@ clone() {
 delete() {
        cd "$VCSH_BASE" || fatal "could not enter '$VCSH_BASE'" 11
        use
 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:
 
        files=$(git ls-files)
        echo "These files will be deleted:
 


@@ -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
        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() {
 }
 
 enter() {