>>>>> "WB" == Wolf Bergenheim <[EMAIL PROTECTED]> writes:
>> Once the final style is decided, it would be better for the change
>> to be committed by someone with reasonable upload bandwidth, given
>> that it's likely to affect the majority of C source files.
>> Running indent on the entire source tree amounts to:
>> find . -type f -name '*.c' | xargs indent <options>
> find also has the nice -exec switch, which will allow you to have
> find exec indent. It's probably a bit faster.
> find . -type f -name '*.c' -exec indent <options> {} \;
Actually, it'd most probably be a bit /slower/, as `find' will
fork () & exec () `indent' for each file it finds, while `xargs'
will only fork () & exec () for each N files (where N depends on
a system, but typically > 10.)
> I can do that, I have a 10 Mb connection.
No objection on that, once the style is decided.
_______________________________________________
grass-dev mailing list
[email protected]
http://lists.osgeo.org/mailman/listinfo/grass-dev
