diff options
| author | Pat Thoyts <patthoyts@users.sourceforge.net> | 2013-09-12 21:15:19 +0100 |
|---|---|---|
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | 2013-09-12 21:15:19 +0100 |
| commit | 224cce8f9bb0403ec441ec709d2769adb8f66eb0 (patch) | |
| tree | 36b284a47492690d8614aa7df07e0863cf54dd94 | |
| parent | 4394faf6e53e8b91c82332aa4f2b77616350a81b (diff) | |
| download | git-224cce8f9bb0403ec441ec709d2769adb8f66eb0.tar.gz | |
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>
| -rwxr-xr-x | git-gui.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index 66db995ed0..db46ac50bf 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 } |