[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: