From: Matthieu Moy <matthieu.moy@imag.fr>
Date: Tue, 21 Aug 2007 08:51:30 GMT
Subject: Re: [PATCH] Replace git --paginate by git --pager[=PAGER_CMD].
Message-ID: <vpqtzqte0dp.fsf@bauges.imag.fr>
In-Reply-To: <Pine.LNX.4.64.0708211041170.16728@wbgn129.biozentrum.uni-wuerzburg.de>

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"?

-- 
Matthieu