From: Richard Hartmann 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?hp=-c Use `rmdir` instead of `rm -rf` --- 9a079178dc7f7dbde519f6f261513ac541c61491 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" }