Adds a cli flag pijul --no-pager ... which disables the pager. The pager() function now respects the user’s global and repository configurations, as well as the cli flag.

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.

@pmeunier

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.

Hi! I finally found the time to get back to this, sorry for the long silence. Indeed having both would be nice, would you still be interested in changing your initial patch to include the --no-pager option?

Sure, I just sent you a relevant email.