PHP5-extensions menu - where is it ?

[Odhiambo Washington]

* 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" ;)



-Wash

http://www.netmeister.org/news/learn2quote.html

--
+======================================================================+
    |\      _,,,---,,_     | Odhiambo Washington    <wash at wananchi.com>
Zzz /,`.-'`'    -.  ;-;;,_ | Wananchi Online Ltd.   www.wananchi.com
   |,4-  ) )-,_. ,\ (  `'-'| Tel: +254 20 313985-9  +254 20 313922
  '---''(_/--'  `-'\_)     | GSM: +254 722 743223   +254 733 744121
+======================================================================+
The cost of living hasn't affected its popularity.