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

Re: [RFC] Case insensitive Git attributes

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Oct 17, 2016, 08:55 UTC
Message-ID
<alpine.DEB.2.20.1610171054550.197091@virtualbox>
In-Reply-To
<C83BE22D-EAC8-49E2-AEE3-22D4A99AE205@gmail.com>
Hi Lars,
On Sun, 16 Oct 2016, Lars Schneider wrote:
Show 10 quoted lines
> One idea could be to add an attribute "case-sensitive" (or
> "caseSensitive") and set it to false (if desired) for all files in
> .gitattributes for a given repo.
> 
> ### .gitattributes example ###
> 
> * case-sensitive=false
> *.bar something
> 
> ###

Hrm. Maybe a better idea would be to warn when attributes match a file name with a different case?

Ciao, Dscho

Previous: Junio C Hamano
Message 9 of 9 in “[RFC] Case insensitive Git attributes”
  1. Lars SchneiderOct 17, 2016
  2. Stefan BellerOct 17, 2016
  3. Torsten BögershausenOct 17, 2016
  4. Johannes SchindelinOct 17, 2016
  5. Duy NguyenOct 17, 2016
  6. Johannes SchindelinOct 17, 2016
  7. Duy NguyenOct 17, 2016
  8. Junio C HamanoOct 17, 2016
  9. Johannes SchindelinOct 17, 2016

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.