From 9a079178dc7f7dbde519f6f261513ac541c61491 Mon Sep 17 00:00:00 2001
From: Richard Hartmann <richih.mailinglist@gmail.com>
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"
 }
 
-- 
GitLab