2006/7/20, Theo de Raadt <[EMAIL PROTECTED]>:
> Leave installing the source as an option to the user, and install > binaries as a default.And in 5 years noone will make source available.
Better: Install the source where possible (and warn if there is no source) but don't install from source as a default (and make this choice configurable), and use binaries where provided, thus speeding installation. I doubt that the typical eclipse user wants to compile eclipse from source. :-) Best Martin