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 add
this thing;
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, GIT_SYSTE
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 con
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 configuration file?
>
> That would supersede/deprecate G
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 configuration file?
That would supersede/deprecate GIT_CONFIG_NOSYSTEM that we
introduced primarily so that we can run our test
5 matches
Mail list logo