Fix `vcsh delete`

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index fdfeb845e8aec4db1c60c1c7101f745e497f7252..a57848743ccc4589d5e7195912a43702222c2bf3 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -100,7 +100,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
        for file in $files; do
                rm -f $file || info "could not delete '$file', continuing with deletion"
        done

-       rmdir "$GIT_DIR" || error "could not delete '$GIT_DIR'"
+       rm -r "$GIT_DIR" || error "could not delete '$GIT_DIR'"

 }
 
 enter() {
 }
 
 enter() {


@@ -117,6 +117,7 @@ git_dir_exists() {
 hook() {
        for hook in $VCSH_HOOK_D/$1* $VCSH_HOOK_D/$VCSH_REPO_NAME.$1*; do
                [ -x "$hook" ] || continue
 hook() {
        for hook in $VCSH_HOOK_D/$1* $VCSH_HOOK_D/$VCSH_REPO_NAME.$1*; do
                [ -x "$hook" ] || continue

+               info "executing '$hook'"

                "$hook"
        done
 }
                "$hook"
        done
 }