I think Debian should reserve /opt for compatibility with third-party packages that were intended for other distributions. No Debian package should install in /opt.
Thanks
Bruce
--
Can you get your operating system fixed when you need it?
Linux - the supportable operating system. http://www.debian.org/support.html
Bruce Perens K6BP [EMAIL PROTECTED] NEW PHONE NUMBER: 510-620-3502
