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

Re: Git config "ignorecase = true" has issues

From
Johannes Sixt <j6t@kdbg.org>
Date
May 18, 2019, 16:38 UTC
Message-ID
<b75455b6-139a-aa6c-c7f6-7c9330e2ac6f@kdbg.org>
In-Reply-To
<trinity-4a160867-2036-4f8a-8363-7bf2e021d840-1558184320864@3c-app-gmx-bs48>
Am 18.05.19 um 14:58 schrieb Ax Da:
> You can rename files like this:
> git mv File.txt file.txt

On a case-insensitive, case-preserving filesystem, a case-only rename operation is better performed in two steps that do not just change the case:

git mv File.txt file.txtx git mv file.txtx file.txt

> git commit
> 
> and Git will record the changes.
-- Hannes
Previous: Ax DaNext: Torsten Bögershausen
Message 2 of 3 in “Re: Git config "ignorecase = true" has issues”
  1. Ax DaMay 18, 2019
  2. Johannes SixtMay 18, 2019
  3. Torsten BögershausenMay 21, 2019

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.