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>
This commit is contained in:
Pat Thoyts 2013-09-12 21:15:19 +01:00
parent 4394faf6e5
commit 224cce8f9b

View File

@ -2665,6 +2665,16 @@ if {![is_bare]} {
.mbar.repository add command \ .mbar.repository add command \
-label [mc "Explore Working Copy"] \ -label [mc "Explore Working Copy"] \
-command {do_explore} -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 .mbar.repository add separator
} }