Re: git should not use a default user.email config value

From: Matthieu Moy <Matthieu.Moy@grenoble-inp.fr>
To: Jeff King <peff@peff.net>
Cc: Junio C Hamano <gitster@pobox.com>,
	Andrew Ardill <andrew.ardill@gmail.com>,
	Michael Haggerty <mhagger@alum.mit.edu>,
	Jonathan Nieder <jrnieder@gmail.com>,
	Thorsten Glaser <tg@mirbsd.de>,
	"git\@vger.kernel.org" <git@vger.kernel.org>
Subject: Re: git should not use a default user.email config value
Date: Wed, 14 Aug 2013 10:37:34 +0200	[thread overview]
Message-ID: <vpq38qcmzw1.fsf@anie.imag.fr> (raw)
In-Reply-To: <20130814074035.GB5095@sigill.intra.peff.net> (Jeff King's message of "Wed, 14 Aug 2013 03:40:35 -0400")

Jeff King <peff@peff.net> writes:

> This whole discussion is basically implementing conditional config.
> [...] The problem is that it would be tricky to do in a
> backwards-compatible way.

That could be done with "conditional comments" like

# if <some-condition> then
[core]
        pager = less
# endif

That's rather ugly, and the implementation would be even more ugly, but
backward-compatible.

> [1] I used to run into this with pager.*, which originally could only be
>     a bool, but later learned to take custom pagers. I solved it with:
>
>       git config --file .gitconfig-pager pager.diff ...
>       git config --global include.path .gitconfig-pager

Same here, with push.default = upstream, which breaks old versions of
Git ;-).

(I have a recent Git on my desktop, and my $HOME is shared with a server
running Debian oldstable)

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/