Re: INSTALL file

From: Date: Tue, 18 Jul 2000 10:56:47 +0000
Subject: Re: INSTALL file
References: 1  Groups: php.dev 
Request: Send a blank email to php-dev+get-24877@lists.php.net to get a copy of this message
Hello! "R. P. Channing Rodgers, M.D." wrote: > > Rasmus, > > You're absolutely right! But I'm also right in pointing out that at > least 20 different parties have managed to overlook this point, so > either the point is not made emphatically enough in the documentation, > or appears in the wrong place, or is presented the wrong way. It's > a matter of optimal presentation, no one denies that it is there. > > For example, the lines you cite: > HJuman being is lazy.;) I think the behaviour of Apache make install is a good example how we could do it. Something like: ifndef PHPINI PHPINI=/usr/local/lib endif #check if the target already exists then skip the next step if [ ! -f $PHPINI/php.ini ] install -c php.ini-dist $PHPINI/php.ini else echo "PRESERVING EXISTING CONFIG" fi [skip] -- WBR, Yury Bokhoncovich, SysAdmin at FIS. voice call: +7 (3832) 119727 pager: +7 (3832) 186555/61621 mailto: byg@fis.ru visit us: http://www.fis.ru/

« previous php.dev (#24877) next »