On Thursday 17 January 2002 07:04 pm, Junichi Uekawa wrote: > > It might be nice to add this bit of policy to Debian Policy > so that people do not start mucking around with /opt.
This is a good idea. I understand and whole-heartedly agree with the reasons behind Debian not mucking about with /opt, but looking at the quoted parts of the FHS, it isn't clear that distributions may not install packages into /opt. Adding it to Policy would clarify that. Frank