On Jun 22, 2020, at 2:33 PM, Rob Pike <robpike@gmail.com> wrote:

There is only one correct way.

% grep PAGER .bashrc

export PAGER='col -b'

% 

-rob

On Tue, Jun 23, 2020 at 2:26 AM Derek Fawcus <dfawcus+lists-tuhs@employees.org> wrote:

On Sun, Jun 21, 2020 at 05:35:28PM -0700, Greg A. Woods wrote:
>
> In a related vein what annoys me are so-called modern programs like
> "git", "hg", and others which default to always piping their output
> through $PAGER, along with such things as colour decorations enabled,
> but when you tack on "|$PAGER" to their command-line then they turn off
> the decorations!  They cause me to have to undo decades of finger
> memory.

Well, for further fun, one could always export GIT_PAGER=cat,
then git will not use a pager for those commands, recognising that
'cat' is a no-op in such cases.  :-)

DF