From 9a079178dc7f7dbde519f6f261513ac541c61491 Mon Sep 17 00:00:00 2001 From: Richard Hartmann Date: Sat, 26 Nov 2011 18:58:00 +0100 Subject: [PATCH] Use `rmdir` instead of `rm -rf` --- vcsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vcsh b/vcsh index 7d1f5aa..896cda8 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" } -- 2.39.2