Re: [PATCH] config: introduce GIT_GLOBAL_CONFIG to override ~/.gitconfig
- From
Jeff King <peff@peff.net>
- Date
- Sep 27, 2012, 17:35 UTC
- Message-ID
- <20120927173532.GD1547@sigill.intra.peff.net>
- In-Reply-To
- <1348757171-3223-1-git-send-email-artagnon@gmail.com>
On Thu, Sep 27, 2012 at 08:16:11PM +0530, Ramkumar Ramachandra wrote:
Show 11 quoted lines
> 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. > +
Like the other reviews, I am not overly enthused. If we are going to add a new variable, I think $GIT_HOME makes a lot more sense. But it really sounds like using $XDG_CONFIG_HOME would be even simpler.
Also, have you considered using a config include? Like:
$ echo '[include]path = ~/my-dotfiles/gitconfig' >~/.gitconfig
It's a one-time setup, and then you get updates inside my-dotfiles forever. The one-time setup is annoying, but you have to bootstrap somehow (e.g., you're going to have to copy a .profile or similar to get the GIT_GLOBAL_CONFIG variable set).
-Peff