Jeff King <[email protected]> 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/
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
