Remove old cleanup code for `vcsh use`

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index 7d1f5aaca2d663b25fe6aceb099d467db863d14b..2c4e7267813d633be792714f761256696908a29e 100755 (executable)
--- 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
        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"
 }
 
        cd "$old_dir"
 }
 


@@ -126,9 +126,6 @@ run() {
 
 seed_gitignore() {
        use
 
 seed_gitignore() {
        use

-       # Switching directory as this has to be executed from $HOME to be of any use.
-       # Going back into old directory at the end in case `vcsh use` is reactivated.
-       old_dir="$PWD"

        cd "$HOME"
        gitignores=$(for file in $(git ls-files); do
                while true; do
        cd "$HOME"
        gitignores=$(for file in $(git ls-files); do
                while true; do


@@ -153,7 +150,6 @@ seed_gitignore() {
        fi
        mv -f "$tempfile" "$HOME/.gitignore.d/$VCSH_REPO_NAME" ||
                fatal "could not move '$tempfile' to '$HOME/.gitignore.d/$VCSH_REPO_NAME'" 53
        fi
        mv -f "$tempfile" "$HOME/.gitignore.d/$VCSH_REPO_NAME" ||
                fatal "could not move '$tempfile' to '$HOME/.gitignore.d/$VCSH_REPO_NAME'" 53

-       cd "$old_dir"

 }
 
 setup() {
 }
 
 setup() {