On Fri, Nov 15, 2002 at 11:58:48PM +0100, Bernd Eckenfels wrote: > On Fri, Nov 15, 2002 at 05:48:39PM -0500, Branden Robinson wrote: > > what is part of the Debian system, and what isn't. > > which simply comes down to the FHS and /opt. PAckages which are not part of > Debian should ot be placed unter /usr. This is just like the FeeBSD Ports go > to /usr/local. Do we expect inexperienced users to draw this conclusion from the /opt directory? I'm not sure we can, but it's an interesting proposal, and once that can be made completely orthogonally to the GR. It's a simple matter of policy. If you think this would help, I encourage you to propose an amendment to the Debian Policy Manual mandating this. Even if approved, its enforcement might be delayed for a while to give package maintainers a reasonable amount of time to comply with it. We should also think about whether or not we want to require this of contrib packages as well. -- G. Branden Robinson | There's nothing an agnostic can't Debian GNU/Linux | do if he doesn't know whether he branden@debian.org | believes in it or not. http://people.debian.org/~branden/ | -- Graham Chapman
Attachment:
pgpLEwbtV4ncY.pgp
Description: PGP signature