From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 17 Oct 2016 08:55:54 GMT
Subject: Re: [RFC] Case insensitive Git attributes
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:

> 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