Re: Use of /opt [was: Re: Way to switch easily]
On Aug 19, Fabrizio Polacco wrote
> Bart wrote
> > Indeed. If /usr/local is not to be touched by Debian, the same holds
> > even more for /opt. /opt is for the local sysadmin.
>
> Absolutely NO.
> /usr/local is reserved for the local sysadm.
> /opt is free to be (or maybe _must_ be ) used by add-on packages (e.g.
> packages coming from a source different than the OS vendor) which want
[...]
> Therefore, if Debian wants to package a program not organized in the
> unix way, it can put it under /opt/xxx and use the debian's installation
> system to put all the symlinks and wrappers that are needed.
Hmm. /usr/doc/debian-policy/fsstnd/tentative-opt-draft.gz seems to agree
with you. I guess I'd better start migrating those /opt's I have to
other names.
--
Bart Schuller schuller+sig@lunatech.com At Lunalabs, where the
Lunatech Research http://www.lunatech.com/ future is made today..
Partner of The Perl Institute http://www.perl.org/ Linux http://www.li.org/
--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org .
Trouble? e-mail to templin@bucknell.edu .
Reply to: