From: Michael J Gruber <git@drmicha.warpmail.net>
Date: Thu, 26 Nov 2009 13:27:45 GMT
Subject: Re: [PATCH (resend)] Let core.excludesfile default to ~/.gitexcludes.
Message-ID: <4B0E8251.7050605@drmicha.warpmail.net>
In-Reply-To: <helthi$8k5$1@ger.gmane.org>

Paolo Bonzini venit, vidit, dixit 26.11.2009 13:49:
> On 11/26/2009 01:00 PM, Michael J Gruber wrote:
>> I'm sorry to jump in so late, and this may sound like bike-shedding, but
>> right now we have
>>
>> .git/info/exclude
>> .gitignore
>>
>> and this would add
>>
>> ~/.gitexcludes
>>
>> That is, three terms, or two, where one comes in two variations
>> (exclude/exludes). I always wondered why we have two.
> 
> Would you be fine with ~/.gitexclude?

Not really. You see, a user tracking his $HOME will have a ~/.gitignore
and a ~/.gitexclude then. I think we should distinguish local and global
"config" files more systematically. Which is why I suggested the subdir,
or having global in the name.

Michael