Git-Win: case insensitive names

Vadim Kramer· Jun 1, 2015, 17:30 UTC · lore

Hi,

Just had to deal with a nasty cross-UNIX/Windows problem.

Two files in the repository were in the same direcory and had the same name differing only by the case of some of the letters. While checking them out, git wantonly confused them (conflated them into one) and got confused about them.

I know it's an outlandish situation. Still, when git is in a case-insensitive file system, it should at least check for this.

~v

Konstantin Khomoutov· Jun 1, 2015, 17:42 UTC · re: Vadim Kramer · lore

Re: Git-Win: case insensitive names

On Mon, 1 Jun 2015 13:30:19 -0400 Vadim Kramer <vkokielov@gmail.com> wrote:

Show 9 quoted lines

> Just had to deal with a nasty cross-UNIX/Windows problem.
> 
> Two files in the repository were in the same direcory and had the same
> name differing only by the case of some of the letters.  While
> checking them out, git wantonly confused them (conflated them into
> one) and got confused about them.
> 
> I know it's an outlandish situation.  Still, when git is in a
> case-insensitive file system, it should at least check for this.

What it does it do if you have core.ignorecase set to on?

(And you did tell nothing about your platform and your Git version.)