26 Jul
2012
26 Jul
'12
11:12 a.m.
On Thu, 2012-07-26 at 14:18 +0530, Jayesh Badwaik wrote:
Well, then:
/opt -> /usr/opt
And everyone will be happy :)
No, I guess not, /usr is for vendor-supplied stuff. /opt is for personal stuff. That is the conflict.
I need to go back to the future, sorry, back to the past /media/maverick/usr/local/bin ... "Personal" stuff was in /usr/local ;). Special stuff still is in /opt, e.g. /media/avlinux/opt/Ardour-3.0beta1a_10644-dbg Pff ;) ... :p Ralf