Re: [PATCH] setup/rev-parse: allow HEAD to be spelled 'head'

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Oct 7, 2007, 16:49 UTC
Message-ID: <Pine.LNX.4.64.0710071747340.4174@racer.site>
In-Reply-To: <47080AC4.3040902@catalyst.net.nz>

Hi,

On Sun, 7 Oct 2007, Sam Vilain wrote:

Show 19 quoted lines

> Alex Riesen wrote:
> > Sam Vilain, Fri, Oct 05, 2007 05:09:10 +0200:
> >> If the repository got mangled by FAT capitalization rules, then a ref
> >> such as "HEAD" will become "head" once it is back on a non-FAT FS.
> >> Check for this condition in resolve_refs and in the setup code.
> >>
> >> Suggested-by: Francois Marier <francois@debian.org>
> >> Signed-off-by: Sam Vilain <sam.vilain@catalyst.net.nz>
> >> ---
> >>   This should probably help people putting their git repos on
> >>   FAT USB sticks.
> > 
> > Can the people just mount FAT partitions with shortname=mixed?
> 
> Of course, that is probably a solution to the problem, whereas my patch
> is a workaround.
> 
> Now, I realise that this might open a can of worms ... would we also
> want to go looking for files called "pack-ab~1.pac" ?

Hell, no.

> Almost certainly not - but this solves the most immediate problem 
> experienced by people putting their git repositories onto FAT 
> filesystems mounted with the default options, which will say "FATAL: not 
> a git repository" otherwise.

You certainly mean the issue of capitalization; yes, that is my experience, too. Somehow, "HEAD" is the culprit.

Ciao, Dscho

P.S.: seems you have quite cute coworkers.