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

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Aug 21, 2007, 08:42 UTC
Message-ID: <Pine.LNX.4.64.0708211041170.16728@wbgn129.biozentrum.uni-wuerzburg.de>
In-Reply-To: <11876854283229-git-send-email-Matthieu.Moy@imag.fr>

Hi,

On Tue, 21 Aug 2007, Matthieu Moy wrote:

Show 7 quoted lines

> The previous one was -p|--paginate, but doesn't accept a natural
> negation. This patch changes it to -p|--pager|--pager=PAGER_CMD, which
> makes the negation --no-pager more natural, and provides a simple way to
> override the pager command (git --pager=CMD is equivalent to
> GIT_PAGER=CMD git with most shells).
> 
> --paginate is kept as a backward-compatibility, deprecated option.

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.

Ciao, Dscho