From: Johannes Sixt <j6t@kdbg.org>
Date: Tue, 01 Oct 2019 05:28:30 GMT
Subject: Re: [PATCH 1/1] git-gui (Windows): use git-bash.exe if it is available
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:
> 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