Ian Jackson:
> How about having each pager program use update-alternatives to provide
> a possible variant of /usr/bin/pager, and then having man configured
> by default to use /usr/bin/pager ?

Another possibility would be to fix more so that it can scroll
backwards.  This shouldn't take more than 20 lines of code (copy stdin
to a temporary file if it's not seekable), and would work on smaller
systems.

[There are a couple optimizations that could be made, but I'd hate to
see them get in the way.]

-- 
Raul

Reply via email to