Merge pull request #1032 from max630/gitgui_GIT_GIT_unset

dscho · dscho · commit 7cf2868461be · 2019-05-25T22:15:20.000+02:00
git-gui: correctly restore GIT_DIR after invoking commands
diff --git a/git-gui/git-gui.sh b/git-gui/git-gui.sh
@@ -2212,6 +2212,8 @@ proc do_gitk {revs {is_submodule false}} {
 
 		if {$old_GIT_DIR ne {}} {
 			set env(GIT_DIR) $old_GIT_DIR
+		} else {
+			unset env(GIT_DIR)
 		}
 		cd $pwd
 

Original file line number	Diff line number	Diff line change
`@@ -2212,6 +2212,8 @@ proc do_gitk {revs {is_submodule false}} {`
`2212`	`2212`
`2213`	`2213`	`if {$old_GIT_DIR ne {}} {`
`2214`	`2214`	`set env(GIT_DIR) $old_GIT_DIR`
	`2215`	`+ } else {`
	`2216`	`+ unset env(GIT_DIR)`
`2215`	`2217`	`}`
`2216`	`2218`	`cd $pwd`
`2217`	`2219`