Re: [Q] would it be bad to make /etc/gitconfig runtime configurable?

2016-10-03 Thread Junio C Hamano
Jeff King writes: > I admit both of those are uses for git _developers_, though, not git > _users_. Yes, this is meant for developers and not users. The initial question probably should have stated more explicitly, e.g. "I am wondering if it would be helpful to developers if we

Re: [Q] would it be bad to make /etc/gitconfig runtime configurable?

2016-10-03 Thread Jeff King
On Mon, Oct 03, 2016 at 01:06:10PM +0200, Johannes Schindelin wrote: > Hi, > > On Tue, 27 Sep 2016, Jeff King wrote: > > > On Tue, Sep 27, 2016 at 10:05:37AM -0700, Junio C Hamano wrote: > > > > > The subject says it all. Would it be bad if we introduce an > > > environment variable,

Re: [Q] would it be bad to make /etc/gitconfig runtime configurable?

2016-10-03 Thread Johannes Schindelin
Hi, On Tue, 27 Sep 2016, Jeff King wrote: > On Tue, Sep 27, 2016 at 10:05:37AM -0700, Junio C Hamano wrote: > > > The subject says it all. Would it be bad if we introduce an > > environment variable, GIT_SYSTEM_CONFIG=/etc/gitconfig, that names > > an alternative location of the system-wide