On Sun, May 1, 2016 at 3:24 PM, <c...@zip.com.au> wrote: > Yes, PAGER=cat would make "man" also not page, and likely almost everything. > And yet I am unwilling to do so. Why? > > On reflection, my personal problems with this approach are twofold: > > - I want $PAGER to specify my preferred pager when I do want a pager, so > setting it to "cat" does not inform apps about my wishes
So you expect the environment variable to say which of multiple pagers you might want, but only when you already want a pager. Okay. How is an app supposed to know whether or not to use a pager? How do you expect them to mindread? ChrisA -- https://mail.python.org/mailman/listinfo/python-list