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

From: Date: Mon, 13 Aug 2001 07:39:00 +0000
Subject: Re: use indent instead of fixing whitespace "by hand"?
References: 1 2  Groups: php.dev 
Request: Send a blank email to php-dev+get-63047@lists.php.net to get a copy of this message
On Mon, Aug 13, 2001 at 09:05:36AM +0200, 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. O_O Where is it ? :) - Markus -- Markus Fischer, http://guru.josefine.at/~mfischer/ EMail: mfischer@guru.josefine.at PGP Public Key: http://guru.josefine.at/~mfischer/C2272BD0.asc PGP Fingerprint: D3B0 DD4F E12B F911 3CE1 C2B5 D674 B445 C227 2BD0 -All your scripts are belong to Zend-

« previous php.dev (#63047) next »