Saved configuration in ports, saved where?
wmoran at potentialtech.com
Thu Apr 28 20:34:03 PDT 2005
On Thu, 28 Apr 2005 20:29:45 -0700
Kris Kennaway <kris at obsecurity.org> wrote:
> On Thu, Apr 28, 2005 at 11:25:28PM -0400, Bill Moran wrote:
> > On Thu, 28 Apr 2005 23:09:44 -0400
> > Forrest Aldrich <forrie at forrie.com> wrote:
> > > ===> Found saved configuration for php5-extensions-1.0
> > >
> > > Where is this being saved? I feel silly, but I can't seem to figure it
> > > out... it's not in the directory, not under distfiles...
> > >
> > > is there a switch, at least, to force an override.
> > It's saved in /var/db/ports.
> > I don't know if there's an override, but you can delete the applicable
> > config from /var/db/ports, or manually adjust it.
> man ports :)
>From the Bugs section:
This man page is too long.
But you're right ... the make config option does the trick.
More information about the freebsd-ports