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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html