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?ds=sidebyside;hp=-c

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

fa5eca15ba144e7d7829e3cdc0c0109adc8ca199
diff --combined vcsh
index 499acc1,24c8921..bd0eca1
--- a/vcsh
+++ b/vcsh
@@@ -138,7 -138,7 +138,7 @@@ clone() 
  delete() {
  	cd "$VCSH_BASE" || fatal "could not enter '$VCSH_BASE'" 11
  	use
 -	info "This operation WILL DETROY DATA!"
 +	info "This operation WILL DESTROY DATA!"
  	files=$(git ls-files)
  	echo "These files will be deleted:
  
@@@ -151,7 -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() {