From: Thomas Rast Date: Fri, 23 Mar 2012 10:20:07 GMT Subject: Re: [PATCH] Demonstrate failure of 'core.ignorecase = true' Message-ID: <87pqc3ei08.fsf@thomas.inf.ethz.ch> In-Reply-To: <7v8viswdho.fsf@alter.siamese.dyndns.org> Junio C Hamano writes: > PJ Weisberg writes: > >> On Wed, Mar 21, 2012 at 4:58 PM, Junio C Hamano 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