Johannes Schindelin [off-list ref] 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
Matthieu Moy [off-list ref] writes:
Johannes Schindelin [off-list ref] writes:
quoted
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