Re: file name case-sensitivity issues

From: Junio C Hamano <junkio@cox.net>
Date: May 24, 2006, 01:40 UTC
Message-ID: <7vd5e4xkrh.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <Pine.LNX.4.64.0605232239070.15915@dildano.hawaga.org.uk>

Ben Clifford <benc@hawaga.org.uk> writes:

Show 10 quoted lines

> $ ls
> bar
> $ git ls-files -d
> FOO
> $ git ls-tree HEAD
> 100644 blob b7d6715e2df11b9c32b2341423273c6b3ad9ae8a    FOO
> 100644 blob 5f8b81e197a2cb27816112fb5a6b86b7031ffde8    bar
>
> The checkout is losing the FOO file but the merged tree object has the 
> merged FOO in it.

That's interesting. I wonder how... Does this sequence remove FOO on that filesystem?

	$ date >FOO
        $ rm -f foo
        $ ls

Also if you do the final "git pull" using resolve strategy, does it change the result (say "git pull -s resolve . side" instead)?