Re: end of /opt discussion

1997-09-22 Thread Andreas Jellinghaus
> So please let us stop this discussion now and get back to something > useful. second ! (or write to me in direct email, no cc's to any mailing lists. i like the discussion, but i heard nothing productive in the last mails.) andreas

end of /opt discussion

1997-09-22 Thread Christian Schwarz
(I CC this to debian-devel. In case someone really needs to reply, please send the replies to debian-policy only.) > I hate to jump in on this thread, but I strongly believe that "official" > Debian packages should not install stuff into /opt or /usr/local. It looks like this discussion doesn't