From: Junio C Hamano Date: Sun, 12 Feb 2006 18:56:52 GMT Subject: Re: Configuration file musings Message-ID: <7v4q34be2z.fsf@assigned-by-dhcp.cox.net> In-Reply-To: Mark Wooding writes: > Having thought about things a bit, I've reached the conclusion that the > configuration file $GIT_DIR/config is trying to hold (at least) three > entirely different kinds of configuration. Yes. I've been somewhat bothered by that, but I did not ramble on it too much because I could not say what exactly is _wrong_ to have these things in the same file. Except perhaps that pure user configuration could be further split out from per-repository user configuration to .gitconfig under $HOME or something like that. The former is things like "I am Junio C Hamano no matter which project I work on" the latter is for example "The e-mail address I use for this project is ". But once we start dealing with more than one configuration file, you need one file taking precedence over the other and it appeared there is no single _right_ order. The above identity case is an example that it is better to make the config in repository to override $HOME one, but if you think long enough I am sure you can come up with an example that you would want to override repository one from $HOME one.