diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2020-07-20 16:57:29 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2020-07-20 16:57:29 +0000 |
commit | 06c14b62e9143056a352af5be1dc73b625bc149f (patch) | |
tree | d37f5923a9c0a97bf5c9a499703f5c331202089d /compat_strtonum.c | |
parent | 2934826aea1d712e14577a2b412419e069f79903 (diff) | |
download | mandoc-06c14b62e9143056a352af5be1dc73b625bc149f.tar.gz |
Switch the default pager from "more -s" to "less".
POSIX explicitly allows using a different default pager if that is
documented. Nowadays, the pager provided in most operating systems
is less(1). Our man(1) implementation uses less(1) features that
traditional more(1) did not provide, in particular tagging. Besides,
as noted by deraadt@, the user interface of less(1) is slightly
more refined and preferable over the user inferface of more(1).
This switch was originally suggested by Ian Ropers.
In ./configure, test whether less(1) is available. If not, fall
back to more(1). In ./configure.local, support overriding the
automatic test by setting BINM_PAGER.
As explained by jmc@ and deraadt@, the -s flag was added a very
long time ago when an antique version of groff(1) had an annoying
bug in terminal output that would randomly display blank lines in
the middle of pages. Clearly, -s has no longer been needed for
many years, so drop it from the default pager invocation.
OK deraadt@ jmc@ martijn@ job@ on the OpenBSD version of this patch.
Diffstat (limited to 'compat_strtonum.c')
0 files changed, 0 insertions, 0 deletions