From: Jonathan Sternberg Date: Fri, 8 Mar 2013 21:52:26 +0000 (-0500) Subject: Use rm -f when removing a git repo. X-Git-Url: https://git.madduck.net/code/vcsh.git/commitdiff_plain/95df1235329282589487634575cb914db0254518?hp=-c Use rm -f when removing a git repo. Git repos place the files as write-protected by default, so the vcsh delete operation requires the user to typo 'y' repeatedly as the repo is deleted. Using -f removes the repository properly. --- 95df1235329282589487634575cb914db0254518 diff --git a/vcsh b/vcsh index 4fb1c45..24c8921 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() {