Re: git alias for options

From: Junio C Hamano <gitster@pobox.com>
Date: Feb 17, 2017, 22:31 UTC
Message-ID: <xmqq4lzsqwjy.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20170217221317.e5kby2jwutdznnlk@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 11 quoted lines

> On Fri, Feb 17, 2017 at 11:10:08PM +0100, Ævar Arnfjörð Bjarmason wrote:
>
>> The most gentle first step would be to try to turn the existing config
>> options where you can override cli-options into some declarative thing
>> from the current ad-hoc code we have for each one.
>> 
>> That would be no change in behavior, but would make it easier to
>> migrate more things in the future.
>
> Yeah, I'd agree with that. It does not change anything for the users,
> but it makes the implementation less annoying.

Yup, as long as that declarative thing (presumably it would hook into parse-options that is already sort of declarative) allows some command line options not overridable with configuration, I think it would be OK.

I do not think anybody wants to see "reset --hard" and turn it into "[reset] hard = yes" configuration, and we should not even allow for that.