Re: [PATCH] Replace git --paginate by git --pager[=PAGER_CMD].

From: David Kastrup <dak@gnu.org>
Date: Aug 21, 2007, 09:19 UTC
Message-ID: <868x85gs8b.fsf@lola.quinscape.zz>
In-Reply-To: <vpqtzqte0dp.fsf@bauges.imag.fr>

Matthieu Moy <Matthieu.Moy@imag.fr> writes:

Show 12 quoted lines

> Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
>
>> Personally, I like to read "git --paginate log" better than to read "git 
>> --pager log".  So I would not unnecessarily deprecate --paginate.  It's 
>> not like it hurts or something.
>
> It doesn't "hurt", but having several options to do the same thing is
> useless and confusing (someone reading here about --paginate and there
> about --pager may not immediately notice that one is an alias for the
> other).
>
> Anyway, how often do you type or read "git --paginate log"?

Since it is the default anyway...

Maybe one should have a way to tell git "don't use a pager by default, but _if_ someone says --pager, _then_ use the following pager".

If one has to set the pager to "cat" to disable paging, using --pager will not exactly be impressive.

So maybe --no-pager/--pager (or an equivalent config file setting) should not tamper with the setting of GIT_PAGER, but rather set/reset an independent flag.

-- 
David Kastrup