Re: [RFC] Clean way to disable pager

From: Matthieu Moy <matthieu.moy@imag.fr>
Date: Aug 20, 2007, 08:15 UTC
Message-ID: <vpqzm0mvcz0.fsf@bauges.imag.fr>
In-Reply-To: <85ps1jp2w9.fsf@lola.goethe.zz>

David Kastrup <dak@gnu.org> writes:

Show 18 quoted lines

> 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.

ACK. I thought of naming the option --no-paginate, but I don't think that good english. --dont-paginate would be good english, but doesn't match the --[no-]whatever scheme.

Perhaps using David's proposal, and keeping the --paginate as a backward compatibility, deprecated switch is the way to go.

-- 
Matthieu