Re: [RFC] Clean way to disable pager

Adam Roben [off-list ref] writes:

On Aug 19, 2007, at 12:44 PM, Matthieu Moy wrote:

quoted

+    [-p|--paginate] [--no-pager]

  I think that [-p|--[no-]paginate] would be more consistent with the
way negatable options are normally specified.

Disregard previously existing code, I'd vote for using an option set
like the following:

--pager
--pager=less
--pager=cat
--no-pager

"--paginate" is rather artificial in contrast.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum