From 95df1235329282589487634575cb914db0254518 Mon Sep 17 00:00:00 2001
From: Jonathan Sternberg <jonathansternberg@gmail.com>
Date: Fri, 8 Mar 2013 16:52:26 -0500
Subject: [PATCH] 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.
---
vcsh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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() {
--
GitLab