Re: [PATCH] Demonstrate failure of 'core.ignorecase = true'

From: Thomas Rast <trast@student.ethz.ch>
Date: Mar 23, 2012, 10:20 UTC
Message-ID: <87pqc3ei08.fsf@thomas.inf.ethz.ch>
In-Reply-To: <7v8viswdho.fsf@alter.siamese.dyndns.org>

Junio C Hamano <gitster@pobox.com> writes:

Show 19 quoted lines

> PJ Weisberg <pj@irregularexpressions.net> writes:
>
>> On Wed, Mar 21, 2012 at 4:58 PM, Junio C Hamano <gitster@pobox.com> wrote:
>>
>>> underlying system calls like open("foo") will *not* magically start
>>> returning a file descriptor opened for "FOO" if your filesystem is not
>>> case insensitive.
>>
>> No, but magic_open("foo") might, if someone had put forth the effort
>> to write a function called magic_open.
>
> Exactly.
>
> That is why we avoid describing what happens when you set it on a case
> sensitive filesystem, to leave the door open for such a cleverness.
>
> It may still be a mistake in the manual that we did not explicitly say
> that setting core.ignorecase on a case sensitive system will give you an
> undefined behaviour.

How about trying to read "HEAD" as "head" instead when core.ignorecase is true? That would allow us to catch such misconfiguration (which I imagine can also happen accidentally if you mv a repository across FS boundaries) and tell the user about it.

-- 
Thomas Rast
trast@{inf,student}.ethz.ch