diff options
| author | Thomas Klaeger <thklaeger@gmail.com> | 2019-09-26 10:46:19 -0700 |
|---|---|---|
| committer | Pratyush Yadav <me@yadavpratyush.com> | 2019-10-01 19:10:34 +0530 |
| commit | 6a72d44fc274db71f9b7350a2977a27cf13ca550 (patch) | |
| tree | 32f5f3637ffd58c4b1fc132d07246c8af614d2e0 | |
| parent | 60c60b627e81bf84e1cb01729d2ae882178f079d (diff) | |
| download | git-6a72d44fc274db71f9b7350a2977a27cf13ca550.tar.gz | |
git-gui (Windows): use git-bash.exe if it is available
Git for Windows 2.x ships with an executable that starts the Git Bash
with all the environment variables and what not properly set up. It is
also adjusted according to the Terminal emulator option chosen when
installing Git for Windows (while `bash.exe --login -i` would always
launch with Windows' default console).
So let's use that executable (usually C:\Program Files\Git\git-bash.exe)
instead of `bash.exe --login -i` if its presence was detected.
This fixes https://github.com/git-for-windows/git/issues/490
Signed-off-by: Thomas Kläger <thomas.klaeger@10a.ch>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
| -rwxr-xr-x | git-gui.sh | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/git-gui.sh b/git-gui.sh index fd476b6999..20b8afe526 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -2736,10 +2736,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]} { |