git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Git-Win: case insensitive names

From
KKKonstantin Khomoutov <kostix+git@007spb.ru>
Date
Jun 1, 2015, 17:42 UTC
Message-ID
<20150601204253.50939487ba6e49feb443343e@domain007.com>
In-Reply-To
<CAFQnHJfK94wG_bpe3OFmd7CyZzLCQFq70QGoMAP8=PchdUVH9g@mail.gmail.com>

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.)
Previous: Vadim Kramer
Message 2 of 2 in “Git-Win: case insensitive names”
  1. Vadim KramerJun 1, 2015
  2. Konstantin KhomoutovJun 1, 2015

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.