From: Richard Hartmann <richih.mailinglist@gmail.com>
Date: Fri, 8 Mar 2013 23:12:19 +0000 (+0100)
Subject: Merge branch 'force-delete-repo' of https://github.com/jsternberg/vcsh
X-Git-Url: https://git.madduck.net/code/vcsh.git/commitdiff_plain/fa5eca15ba144e7d7829e3cdc0c0109adc8ca199?hp=2790f1bfca0ab2dc74b23c5dd8f132d7b01c7415

Merge branch 'force-delete-repo' of https://github.com/jsternberg/vcsh
---

diff --git a/vcsh b/vcsh
index 499acc1..bd0eca1 100755
--- a/vcsh
+++ b/vcsh
@@ -151,7 +151,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 -r "$GIT_DIR" || error "could not delete '$GIT_DIR'"
+	rm -rf "$GIT_DIR" || error "could not delete '$GIT_DIR'"
 }
 
 enter() {