global/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2026-02-04 15:04:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #492 from tomyy/issue-490

Browse Source 
git-gui: Use /git-bash.exe if available
This commit is contained in:
Johannes Schindelin
2015-12-11 07:04:36 +01:00
parent d06a49f660 8ecdf28127
commit e338c5c037
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
git-gui/git-gui.sh
View File

@@ -2667,10 +2667,18 @@ if {![is_bare]} {
}
if {[is_Windows]} {
# Use /git-bash.exe if available
set normalized [file normalize $::argv0]
regsub "/mingw../libexec/git-core/git-gui$" \
$normalized "/git-bash.exe" cmdLine
if {$cmdLine != $normalized && [file exists $cmdLine]} {
set cmdLine [list "Git Bash" $cmdLine &]
} else {
set cmdLine [list "Git Bash" bash --login -l &]
}
.mbar.repository add command \
-label [mc "Git Bash"] \
-command {eval exec [auto_execok start] \
[list "Git Bash" bash --login -l &]}
-command {eval exec [auto_execok start] $cmdLine}
}
if {[is_Windows] || ![is_bare]} {