summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPat Thoyts <patthoyts@users.sourceforge.net>2013-09-12 20:15:19 (GMT)
committerPat Thoyts <patthoyts@users.sourceforge.net>2013-09-12 20:15:19 (GMT)
commit224cce8f9bb0403ec441ec709d2769adb8f66eb0 (patch)
tree36b284a47492690d8614aa7df07e0863cf54dd94
parent4394faf6e53e8b91c82332aa4f2b77616350a81b (diff)
downloadgit-224cce8f9bb0403ec441ec709d2769adb8f66eb0.zip
git-224cce8f9bb0403ec441ec709d2769adb8f66eb0.tar.gz
git-224cce8f9bb0403ec441ec709d2769adb8f66eb0.tar.bz2
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-xgit-gui.sh10
1 files changed, 10 insertions, 0 deletions
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
}