Matthieu Moy <Matthieu.Moy@xxxxxxxxxxxxxxx> writes: > Ramkumar Ramachandra <artagnon@xxxxxxxxx> writes: > >> diff --git a/Documentation/git-config.txt b/Documentation/git-config.txt >> index eaea079..c8db03f 100644 >> --- a/Documentation/git-config.txt >> +++ b/Documentation/git-config.txt >> @@ -205,6 +205,9 @@ $GIT_DIR/config:: >> User-specific configuration file. Also called "global" >> configuration file. >> >> +$GIT_GLOBAL_CONFIG:: >> + Overrides the path of the global configuration file. >> + > > I'm not particularly in favor of introducing another environment > variable, but if you are to introduce it, why just override the > configuration file, and not $HOME completely (e.g. to override > $HOME/.git-credentials too). > > There was a patch proposing that here ($GIT_HOME to override $HOME): I think both of these are at the entrance of slippery slope to insanity I'd rather not to venture into. If somebody hates ~/.dotmanyfiles so much, why not do HOME=~/dots/, instead of having to set GIT_HOME to move ~/.gitconfig, FROTZ_HOME to move ~/.frotzconfig, MAIL_HOME to move ~/.mailrc, etc.? I wouldn't be surprised if some _other_ things break with your HOME pointing at a directory inside your home directory, but then it may be better to fix that other thing instead. -- 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