From: Pat Thoyts <patthoyts@users.sourceforge.net>
Date: Thu, 12 Sep 2013 20:15:19 +0000 (+0100)
Subject: git-gui: add menu item to launch a bash shell on Windows.
X-Git-Tag: gitgui-0.19.0~7
X-Git-Url: https://repo.or.cz/w/git-gui.git/commitdiff_plain/224cce8f9bb0403ec441ec709d2769adb8f66eb0

git-gui: add menu item to launch a bash shell on Windows.

When using git-gui as the primary git application on Windows it can be
awkward obtaining a suitable shell. This commit adds a menu item to the
Repository menu that launches the bash shell provided with the git
installation on Windows.

Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
---

diff --git a/git-gui.sh b/git-gui.sh
index 66db995..db46ac5 100755
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -2665,6 +2665,16 @@ if {![is_bare]} {
 	.mbar.repository add command \
 		-label [mc "Explore Working Copy"] \
 		-command {do_explore}
+}
+
+if {[is_Windows]} {
+	.mbar.repository add command \
+		-label [mc "Git Bash"] \
+		-command {eval exec [auto_execok start] \
+					  [list "Git Bash" bash --login -l &]}
+}
+
+if {[is_Windows] || ![is_bare]} {
 	.mbar.repository add separator
 }