From owner-cvs-all@FreeBSD.ORG Wed Dec 28 01:48:07 2011 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 4DBF11065672; Wed, 28 Dec 2011 01:48:07 +0000 (UTC) (envelope-from wxs@atarininja.org) Received: from syn.atarininja.org (syn.csh.rit.edu [129.21.49.45]) by mx1.freebsd.org (Postfix) with ESMTP id 1A5008FC13; Wed, 28 Dec 2011 01:48:06 +0000 (UTC) Received: by syn.atarininja.org (Postfix, from userid 1001) id 2C4795C2E; Tue, 27 Dec 2011 20:48:06 -0500 (EST) Date: Tue, 27 Dec 2011 20:48:06 -0500 From: Wesley Shields To: Doug Barton Message-ID: <20111228014806.GE81075@atarininja.org> References: <201112280053.pBS0rmcr019001@repoman.freebsd.org> <4EFA6D56.3080002@FreeBSD.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4EFA6D56.3080002@FreeBSD.org> User-Agent: Mutt/1.5.21 (2010-09-15) Cc: cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org, ports-committers@FreeBSD.org Subject: Re: cvs commit: ports/Tools/scripts README.portsearch X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: **OBSOLETE** CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Dec 2011 01:48:07 -0000 On Tue, Dec 27, 2011 at 05:13:58PM -0800, Doug Barton wrote: > Blah ... I was really hoping to stay out of this, but with respect I > think this change went the wrong direction. How about: > > -f file Use an index file with the name "file," instead of /usr/ports/INDEX > > I'd actually rather change that to: > > -f CUSTOM Use an index file named "CUSTOM," ... > > But the rest of the examples use generic terms for their argument > examples, and I don't want to break that style. > > > knowing I'll hate myself for getting involved, I went with your suggestion. I only brought this up because it is a common idiom in documentation and one that is valuable to stick with. -- WXS