On Saturday 04 March 2006 18:00, Carsten Lohrke wrote: > On Saturday 04 March 2006 16:43, Dan Armak wrote: > > If you're concerned about diskspace you can filter out /usr/share/doc > > entirely, so users do have the choice. The problem here is that the docs > > USE flag is off by default. Making more packages use the flag would > > install less docs. Has anyone actually complained that too many docs are > > installed by default? It's true that some users/situations don't need > > them, but most do, especially as long as we don't have separate server > > profiles. > > I have seen quite a few bugs about that and actually have filed one¹, > rotting in bugzilla, myself. I definitely do not care about a few hundred > KB documentation per ebuild, but some install a lot of documentation and > accumulated it's a lot of wasted space. Filtering out /usr/share/doc as a > whole is no choice, when you usually want it, but a fair share not.
I agree that really large docs should be made USE-dependant. This is also consistent with Ciaran's orig post. -- Dan Armak Gentoo Linux developer (KDE) Public GPG key: http://dev.gentoo.org/~danarmak/danarmak-gpg-public.key Fingerprint: DD70 DBF9 E3D4 6CB9 2FDD 0069 508D 9143 8D5F 8951
pgp89TMpeXkxd.pgp
Description: PGP signature
