PHP5-extensions menu - where is it ?

[Joshua Lokken]

On Sat, 11 Dec 2004 09:40:50 +0300, Odhiambo Washington
<wash at wananchi.com> wrote:
> * Joshua Lokken <joshua.lokken at gmail.com> [20041211 04:22]: wrote:
> 
> 
> > On Sat, 11 Dec 2004 00:35:21 +0000, Mário Gamito <gamito at netual.pt> wrote:
> > > Hi,
> > >
> > > I've installed PHP5-extensions.
> > > At the begining of the process, a menu appears to one can choose what he
> > > wants PHP to suppport.
> > >
> > > I want to rebuild, but i can't get that menu anymore.
> > > It just rebuilds with the same options i've choose the first time in
> > > that menu.
> > >
> > > How can i make that menu reapear ?
> >
> > # rm /var/db/ports/<portname>/options
> 
> I don't believe that! ;)
> 
> I think the right thing to do is
> 
> cd /usr/ports/lang/php5-extensions
> make rmconfig
> make config
> 
> It's less ambiguous than the "Lokken option" ;)
> 

It returns the desired result quickly and easily.


-- 
Joshua Lokken
Open Source Advocate