From: Adam Roben <aroben@apple.com>
Date: Sun, 19 Aug 2007 21:59:16 GMT
Subject: Re: [RFC] Clean way to disable pager
Message-ID: <325563A3-050A-4830-9ACB-9ED15322F038@apple.com>
In-Reply-To: <vpq643bz4vx.fsf@bauges.imag.fr>


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.

-Adam