From 224cce8f9bb0403ec441ec709d2769adb8f66eb0 Mon Sep 17 00:00:00 2001 From: Pat Thoyts Date: Thu, 12 Sep 2013 21:15:19 +0100 Subject: [PATCH] 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 --- git-gui.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) 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 } -- 2.11.4.GIT