diff --git a/vcsh b/vcsh index 499acc1b332bb9af5fb351c1252b9de0a7e6069b..bd0eca1ef635c2c847143d27e3f406f211604dc6 100755 --- a/vcsh +++ b/vcsh @@ -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() {