Use rm -f when removing a git repo.

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index 496a43f2cb0dba9e9b121218da13a01bab5b59bd..24c892195579fd8b7b4e1ddd4090ffae3bbdd72e 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -25,12 +25,12 @@ while getopts  "c:dv" flag; do
        if [ "$1" = '-d' ] || [ "$1" = '--debug' ]; then
                set -vx
                VCSH_DEBUG=1
-               shift 1
        elif [ "$1" = '-v' ];then
                VCSH_VERBOSE=1
        elif [ "$1" = '-c' ];then
                VCSH_OPTION_CONFIG=$OPTARG
        fi
+       shift 1
 done
 
 source_all() {
@@ -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() {