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

Hi,

On Tue, 21 Aug 2007, Matthieu Moy wrote:

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