Re: [PATCH] config: introduce GIT_GLOBAL_CONFIG to override ~/.gitconfig
From: Jeff King <hidden>
Date: 2016-06-15 22:54:53
On Thu, Sep 27, 2012 at 08:16:11PM +0530, Ramkumar Ramachandra wrote:
quoted hunk ↗ jump to hunk
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