Re: [PATCH] Replace git --paginate by git --pager[=PAGER_CMD].
- From
Matthieu Moy <matthieu.moy@imag.fr>
- Date
- Aug 21, 2007, 08:51 UTC
- 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