Re: use indent instead of fixing whitespace "by hand"?
| From: | (Stig Sæther Bakken) | 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