From: Richard Hartmann <richih.mailinglist@gmail.com>
Date: Sat, 26 Nov 2011 17:58:00 +0000 (+0100)
Subject: Use `rmdir` instead of `rm -rf`
X-Git-Url: https://git.madduck.net/code/vcsh.git/commitdiff_plain/9a079178dc7f7dbde519f6f261513ac541c61491

Use `rmdir` instead of `rm -rf`
---

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"
 }