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

From: Date: Mon, 13 Aug 2001 07:05:36 +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-63043@lists.php.net to get a copy of this message
["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. - Stig -- Stig Sæther Bakken <ssb@alltheweb.com> Fast Search & Transfer ASA, Trondheim, Norway

« previous php.dev (#63043) next »