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

Junio C Hamano [off-list ref] writes:

PJ Weisberg [off-list ref] writes:

quoted

On Wed, Mar 21, 2012 at 4:58 PM, Junio C Hamano [off-list ref] wrote:

quoted

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