Re: use indent instead of fixing whitespace "by hand"?

From: Date: Mon, 13 Aug 2001 08:09:37 +0000
Subject: Re: use indent instead of fixing whitespace "by hand"?
References: 1  Groups: php.dev 
Request: Send a blank email to php-dev+get-63050@lists.php.net to get a copy of this message
On 13 Aug 2001, Stig Sæther Bakken wrote: >["Thies C. Arntzen" <thies@thieso.net>] >> guys, >> >> it's really time to setup our "own" indent(1L) profile and >> simply run everything in php4/ thru it. i'll spend some time >> playing with it (while i'm on vacation) unless: >> >> does anybody see a reason *not* to swicht to indent (manybe >> even intergrated into out CVS) once we have a satisfying >> settings for it? >> >> please speak up now - i really don't want to waste my time on >> it if somebody has a good technical reason why this (running >> php-sources thru indent) won't work. > >Aye aye captain! I'm not 100% sure we'll get indent to do what we >want, but we should find out and see if it can be done. I have >started making an indent config file for PEAR, but that is indenting >PHP code, so it's kinda different. Hehe..last time I tried indent with PHP c-sources they made it segfault. --Jani

« previous php.dev (#63050) next »