Grant Edwards <grant.b.edwa...@gmail.com>: > On 2016-05-01, Chris Angelico <ros...@gmail.com> wrote: >> Okay. How is an app supposed to know whether or not to use a pager? > Command line option. > >> How do you expect them to mindread? > Nope, just recognize '-p' or somesuch.
In discussions like these, it would be important to draw from precedents. Are there commands that have such an option? I could only find: mysql --pager CMD which seems sensible but nothing like an industry standard. Personally, I wouldn't bother with builtin paging. Marko -- https://mail.python.org/mailman/listinfo/python-list
