Use `rmdir` instead of `rm -rf`

diff --git a/vcsh b/vcsh
index 7d1f5aaca2d663b25fe6aceb099d467db863d14b..896cda87e74e57f51f86c08316f4655eebf25170 100755 (executable)
--- 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
        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"
 }
 
        cd "$old_dir"
 }