From: David Kastrup <dak@gnu.org>
Date: Sun, 19 Aug 2007 22:37:10 GMT
Subject: Re: [RFC] Clean way to disable pager
Message-ID: <85ps1jp2w9.fsf@lola.goethe.zz>
In-Reply-To: <325563A3-050A-4830-9ACB-9ED15322F038@apple.com>

Adam Roben <aroben@apple.com> writes:

> 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