CGBNLOKSZE7J47TTH7GKUZ5KSJRD36DVIRSR3DTWKS5RG4HDJKOAC
Hi! Thanks for this change, but how about the following alternative:
In src/commands/mod.rs
, change the pager()
function to use the standard $PAGER
environment variable instead of less
. If you don’t want a pager, unset the variable.
U6TQX5Z2NF6GX3SRLUBQGCZ7WAXNYMWWZ2YMADUSG4EWVKNV2BIAC
U6TQX5Z2NF6GX3SRLUBQGCZ7WAXNYMWWZ2YMADUSG4EWVKNV2BIAC
implements the $PAGER
version.
I’m fine with either or a combination of both, like having a --no-pager
option and also respecting the $PAGER
variable for alternative pagers. In my opinion “unset $PAGER
to disable paging” will seem very direct to experienced developers, but will be baffling to everyone else. You probably know this, but fwiw the explicit --no-pager
option is what git did.
Adds a cli flag
pijul --no-pager ...
which disables the pager. Thepager()
function now respects the user’s global and repository configurations, as well as the cli flag.