Re: /usr/local or /opt? which is better?

[Jerome BENOIT <jgmbenoit@wanadoo.fr>]

Lukas Ruf wrote:
> Zhao YouBing <zhaoyb@cad.zju.edu.cn> [2003-07-07 13:37]:
>
> > There are some difference anyway, /usr/local is for local group access 
> > and /opt can  be made globally sharable,
> > but besides that are there any factors more important which can tell me 
> > which should be my dest dir when I install some program?
>
>
> usually, I keep it the following way:
>
> /usr/local  
>   for manually configured/compiled standard applications/tools
>
> /opt
>   special programs used for particular projects, globally accesible 

for alien softwares as acrobatreader, maple, mathematica, ...

Jerome