Add retire() as a complement to use()

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index 159feda47f9355a0e7cda30a2797b772d8d54288..15ea0984f87a0540caef0c146fb76ca481d2bf86 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -246,6 +246,11 @@ push() {
        hook post-push
 }
 
        hook post-push
 }
 

+retire() {
+       unset GIT_WORK_TREE
+       unset VCSH_DIRECTORY
+}
+

 rename() {
        git_dir_exists
        [ -d "$GIT_DIR_NEW" ] && fatal "'$GIT_DIR_NEW' exists" 54
 rename() {
        git_dir_exists
        [ -d "$GIT_DIR_NEW" ] && fatal "'$GIT_DIR_NEW' exists" 54