Re: Finding options for ports

2004-11-25 Thread David Landgren
[cc list trimmed] Lowell Gilbert wrote: Paul Schmehl [EMAIL PROTECTED] writes: --On Monday, November 15, 2004 06:46:42 PM -0600 Conrad J. Sabatier [EMAIL PROTECTED] wrote: This is a useless use of cat. You could accomplish the same thing with: grep WITH Makefile When there are ten different ways

Re: Finding options for ports

2004-11-17 Thread Chris Miller
On Mon, 15 Nov 2004, Kris Kennaway wrote: If the port has been converted to use OPTIONS, then there's already a list ('make showconfig'). If the port hasn't been converted to OPTIONS, it would still need to be converted to your proposed 'make showconfig', so you might as well just go all

Re: Finding options for ports

2004-11-16 Thread Paul Schmehl
--On Monday, November 15, 2004 06:46:42 PM -0600 Conrad J. Sabatier [EMAIL PROTECTED] wrote: This is a useless use of cat. You could accomplish the same thing with: grep WITH Makefile When there are ten different ways to skin a cat, what makes one way inherently better than another? Paul

Re: Finding options for ports

2004-11-16 Thread Lowell Gilbert
Paul Schmehl [EMAIL PROTECTED] writes: --On Monday, November 15, 2004 06:46:42 PM -0600 Conrad J. Sabatier [EMAIL PROTECTED] wrote: This is a useless use of cat. You could accomplish the same thing with: grep WITH Makefile When there are ten different ways to skin a cat, what

Re: Finding options for ports

2004-11-16 Thread Jeff Hinrichs
Paul Schmehl wrote: --On Monday, November 15, 2004 06:46:42 PM -0600 Conrad J. Sabatier [EMAIL PROTECTED] wrote: This is a useless use of cat. You could accomplish the same thing with: grep WITH Makefile When there are ten different ways to skin a cat, what makes one way inherently better

Finding options for ports

2004-11-15 Thread Kill the Penguin
I've ran into this sort of problem from time to time. How do you find and specify options in those ports that don't present a banner. For example, the php4 port has many options listed in the Makefile.ext file, but it's not clear how to turn these on. I looked through the ports docs again and I

Re: Finding options for ports

2004-11-15 Thread Michael C. Shultz
On Monday 15 November 2004 12:18 pm, Kill the Penguin wrote: I've ran into this sort of problem from time to time. How do you find and specify options in those ports that don't present a banner. For example, the php4 port has many options listed in the Makefile.ext file, but it's not clear how

Re: Finding options for ports

2004-11-15 Thread Frank Laszlo
Michael C. Shultz wrote: On Monday 15 November 2004 12:18 pm, Kill the Penguin wrote: I've ran into this sort of problem from time to time. How do you find and specify options in those ports that don't present a banner. For example, the php4 port has many options listed in the Makefile.ext

Re: Finding options for ports

2004-11-15 Thread Michael C. Shultz
On Monday 15 November 2004 01:29 pm, Frank Laszlo wrote: Michael C. Shultz wrote: On Monday 15 November 2004 12:18 pm, Kill the Penguin wrote: I've ran into this sort of problem from time to time. How do you find and specify options in those ports that don't present a banner. For example,

Re: Finding options for ports

2004-11-15 Thread Conrad J. Sabatier
On Mon, 15 Nov 2004 13:24:09 -0800, Michael C. Shultz [EMAIL PROTECTED] wrote: On Monday 15 November 2004 12:18 pm, Kill the Penguin wrote: I've ran into this sort of problem from time to time. How do you find and specify options in those ports that don't present a banner. For example, the

Re: Finding options for ports

2004-11-15 Thread Kris Kennaway
On Mon, Nov 15, 2004 at 04:29:25PM -0500, Frank Laszlo wrote: I believe I brought up the idea of showoptions in a previous post. Maybe we should bring it back up :) We should really have a standard file/section to denote these options in an easily readable format. We cant assume that