Re: [PATCH 1/1] git-gui (Windows): use git-bash.exe if it is available

From: Johannes Sixt <j6t@kdbg.org>
Date: Oct 1, 2019, 05:28 UTC
Message-ID: <1486440c-b6aa-51d9-c706-b7e531f4d6d0@kdbg.org>
In-Reply-To: <nycvar.QRO.7.76.6.1909301225300.46@tvgsbejvaqbjf.bet>

Am 30.09.19 um 12:27 schrieb Johannes Schindelin:

Show 8 quoted lines

> On Fri, 27 Sep 2019, Pratyush Yadav wrote:
>>> +	if {$cmdLine != $normalized && [file exists $cmdLine]} {
>>
>> Why the $cmdLine != $normalized? When would they be equal? The string
>> substitution should always change $cmdLine.
> 
> Except when Git GUI is installed in an unexpected location. This check
> is purely defensive programming.

Thanks for being considerate. This case would occur in my setting.

-- Hannes