Re: [RFC] Clean way to disable pager

From: David Kastrup <dak@gnu.org>
Date: Aug 19, 2007, 22:37 UTC
Message-ID: <85ps1jp2w9.fsf@lola.goethe.zz>
In-Reply-To: <325563A3-050A-4830-9ACB-9ED15322F038@apple.com>

Adam Roben <aroben@apple.com> writes:

Show 6 quoted lines

> On Aug 19, 2007, at 12:44 PM, Matthieu Moy wrote:
>
>> +    [-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