Skip to content
Snippets Groups Projects
Commit 80ebb8dc authored by Richard Hartmann's avatar Richard Hartmann
Browse files

Fix `vcsh delete`

Use rm -r instead of rmdir as the directory will _never_ be empty
parent 86f23d0b
Branches
Tags
No related merge requests found
...@@ -100,7 +100,7 @@ To continue, type 'Yes, do as I say'" ...@@ -100,7 +100,7 @@ To continue, type 'Yes, do as I say'"
for file in $files; do for file in $files; do
rm -f $file || info "could not delete '$file', continuing with deletion" rm -f $file || info "could not delete '$file', continuing with deletion"
done done
rmdir "$GIT_DIR" || error "could not delete '$GIT_DIR'" rm -r "$GIT_DIR" || error "could not delete '$GIT_DIR'"
} }
enter() { enter() {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment