Re: [RFC] Case insensitive Git attributes

2017-01-24 Thread Lars Schneider
> On 23 Jan 2017, at 20:38, Junio C Hamano wrote: > > Junio C Hamano writes: > >> So you are worried about the case where somebody on a case >> insensitive but case preserving system would do >> >> $ edit file.txt >> $ edit .gitattributes >> $ git add file.txt .gitattributes >> >> and

Re: [RFC] Case insensitive Git attributes

2017-01-23 Thread Junio C Hamano
Junio C Hamano writes: > So you are worried about the case where somebody on a case > insensitive but case preserving system would do > > $ edit file.txt > $ edit .gitattributes > $ git add file.txt .gitattributes > > and adds "*.TXT someattr=true" to the attributes file, which

Re: [RFC] Case insensitive Git attributes

2017-01-23 Thread Junio C Hamano
Lars Schneider writes: > Problem: > Git attributes for path names are generally case sensitive. However, on > a case insensitive file system (e.g. macOS/Windows) they appear to be > case insensitive (`*.bar` would match `foo.bar` and `foo.BAR`). That > works great until a Git users joins the pa

Re: [RFC] Case insensitive Git attributes

2017-01-23 Thread Lars Schneider
> On 23 Jan 2017, at 19:35, Junio C Hamano wrote: > > Dakota Hawkins writes: > >> Apologies for the delayed bump. I think because we're talking about >> affecting the behavior of .gitattributes that it would be better to >> have a distinct .gitattributes option, whether or not you also have a

Re: [RFC] Case insensitive Git attributes

2017-01-23 Thread Junio C Hamano
Dakota Hawkins writes: > Apologies for the delayed bump. I think because we're talking about > affecting the behavior of .gitattributes that it would be better to > have a distinct .gitattributes option, whether or not you also have a > similar config option. As I know I am on the To: line of th

Re: [RFC] Case insensitive Git attributes

2017-01-22 Thread Dakota Hawkins
Apologies for the delayed bump. I think because we're talking about affecting the behavior of .gitattributes that it would be better to have a distinct .gitattributes option, whether or not you also have a similar config option. Since .gitattributes is versioned and config options are not, I think

Re: [RFC] Case insensitive Git attributes

2016-10-17 Thread Junio C Hamano
Duy Nguyen writes: > I agree. Which is why I wrote "we probably want something in the same > spirit but limited to .gitattributes and .gitignore only". In other > words we could have core.someName that makes .gitattributes and > .gitignore patterns case-insensitive (or core-sensitive). If it's >

Re: [RFC] Case insensitive Git attributes

2016-10-17 Thread Duy Nguyen
On Mon, Oct 17, 2016 at 5:46 PM, Johannes Schindelin wrote: > Hi Duy, > > On Mon, 17 Oct 2016, Duy Nguyen wrote: > >> On Mon, Oct 17, 2016 at 3:57 PM, Johannes Schindelin >> wrote: >> > Hi Stefan, >> > >> > On Sun, 16 Oct 2016, Stefan Beller wrote: >> > >> >> Conceptually I would prefer if we had

Re: [RFC] Case insensitive Git attributes

2016-10-17 Thread Johannes Schindelin
Hi Duy, On Mon, 17 Oct 2016, Duy Nguyen wrote: > On Mon, Oct 17, 2016 at 3:57 PM, Johannes Schindelin > wrote: > > Hi Stefan, > > > > On Sun, 16 Oct 2016, Stefan Beller wrote: > > > >> Conceptually I would prefer if we had a single switch that indicates a > >> case insensitive FS. > > > > AFAIU

Re: [RFC] Case insensitive Git attributes

2016-10-17 Thread Duy Nguyen
On Mon, Oct 17, 2016 at 3:57 PM, Johannes Schindelin wrote: > Hi Stefan, > > On Sun, 16 Oct 2016, Stefan Beller wrote: > >> Conceptually I would prefer if we had a single switch that indicates a >> case insensitive FS. > > AFAIU Lars' use case is where the FS is *case sensitive*, but he still > ne

Re: [RFC] Case insensitive Git attributes

2016-10-17 Thread Johannes Schindelin
Hi Stefan, On Sun, 16 Oct 2016, Stefan Beller wrote: > Conceptually I would prefer if we had a single switch that indicates a > case insensitive FS. AFAIU Lars' use case is where the FS is *case sensitive*, but he still needs the .gitattributes to be *case insensitive* because that file originat

Re: [RFC] Case insensitive Git attributes

2016-10-17 Thread Johannes Schindelin
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 somethin

Re: [RFC] Case insensitive Git attributes

2016-10-16 Thread Torsten Bögershausen
On 17/10/16 05:07, Stefan Beller wrote: On Sun, Oct 16, 2016 at 6:04 PM, Lars Schneider wrote: Hi, Git attributes for path names are generally case sensitive. However, on a case insensitive file system (e.g. macOS/Windows) they appear to be case insensitive (`*.bar` would match `foo.bar` and

Re: [RFC] Case insensitive Git attributes

2016-10-16 Thread Stefan Beller
On Sun, Oct 16, 2016 at 6:04 PM, Lars Schneider wrote: > Hi, > > Git attributes for path names are generally case sensitive. However, on > a case insensitive file system (e.g. macOS/Windows) they appear to be > case insensitive (`*.bar` would match `foo.bar` and `foo.BAR`). That > works great unti

[RFC] Case insensitive Git attributes

2016-10-16 Thread Lars Schneider
Hi, Git attributes for path names are generally case sensitive. However, on a case insensitive file system (e.g. macOS/Windows) they appear to be case insensitive (`*.bar` would match `foo.bar` and `foo.BAR`). That works great until a Git users joins the party with a case sensitive file system.