It might be nice to provide settings for use of the pager and colors in the user’s global configuration file, something like
pager = "always|auto|never" colors = "always|auto|never"
with auto corresponding to current behavior and being the default. We could also let users set a pager of their choice, defaulting to the current less -Fr.
auto
less -Fr
I realize this is pretty niche, but on the other hand it should be simple to do, too.
Thanks! This could indeed be useful sometimes, it is fixed in #5BB266P6HPUGYEVR7QNNOA62EFPYPUYJ3UMLE5J3LLYMSUWXANIQC.
It might be nice to provide settings for use of the pager and colors in the user’s global configuration file, something like
with
auto
corresponding to current behavior and being the default. We could also let users set a pager of their choice, defaulting to the currentless -Fr
.I realize this is pretty niche, but on the other hand it should be simple to do, too.