From owner-freebsd-ports Thu Aug 23 14: 6:13 2001 Delivered-To: freebsd-ports@freebsd.org Received: from foo.osd.bsdi.com (foo.lab.nuxi.com [66.123.5.77]) by hub.freebsd.org (Postfix) with ESMTP id C9E0337B409; Thu, 23 Aug 2001 14:06:05 -0700 (PDT) (envelope-from jhb@foo.osd.bsdi.com) Received: (from jhb@localhost) by foo.osd.bsdi.com (8.11.4/8.11.4) id f7NL5uo01754; Thu, 23 Aug 2001 14:05:56 -0700 (PDT) (envelope-from jhb) Message-ID: X-Mailer: XFMail 1.4.0 on FreeBSD X-Priority: 3 (Normal) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit MIME-Version: 1.0 In-Reply-To: <20010823210729.A95484@zerogravity.kawo2.rwth-aachen.d> Date: Thu, 23 Aug 2001 14:05:55 -0700 (PDT) From: John Baldwin To: Alexander Langer Subject: RE: ports.conf Cc: ports@FreeBSD.org, arch@FreeBSD.org Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org On 23-Aug-01 Alexander Langer wrote: > Hi folks! > > Inspired by a comment from JHB on IRC, I removed all ports relevant > entries from /etc/defaults/make.conf and put them > into a new ports.conf, along with some new entries (from bsd.gnome.mk). > > This ports.conf should probably maintained somewhere in the ports/ tree > instead. It should be included as well, and _COMMON_ options should > be listed in defaults/ports.conf (e.g. WITHOUT_X11 or WITH_GNOME). > > src/defaults/make.conf shouldn't be spammed with ports stuff. > > A attached the diff and the new file. > > Comments? Just follow the /etc/defaults way of doing things when you modify bsd.port.mk, i.e.: allow /etc/ports.conf to override /etc/defaults/ports.conf. Thanks. > Alex -- John Baldwin -- http://www.FreeBSD.org/~jhb/ PGP Key: http://www.Baldwin.cx/~john/pgpkey.asc "Power Users Use the Power to Serve!" - http://www.FreeBSD.org/ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message