diff --git a/vcsh b/vcsh index 41d5ed03e5669238a726ea51d0e7af6595d51154..a57848743ccc4589d5e7195912a43702222c2bf3 100755 --- a/vcsh +++ b/vcsh @@ -100,7 +100,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 - rmdir "$GIT_DIR" || error "could not delete '$GIT_DIR'" + rm -r "$GIT_DIR" || error "could not delete '$GIT_DIR'" } enter() {