diff --git a/vcsh b/vcsh index 7d1f5aaca2d663b25fe6aceb099d467db863d14b..896cda87e74e57f51f86c08316f4655eebf25170 100755 --- a/vcsh +++ b/vcsh @@ -84,7 +84,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 -rf "$GIT_DIR" || info "could not delete '$GIT_DIR'" + rmdir "$GIT_DIR" || info "could not delete '$GIT_DIR'" cd "$old_dir" }