On Thu, Jul 26, 2012 at 10:48 AM, Jayesh Badwaik <jayesh.badwaik90@xxxxxxxxx > 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. > But then, /usr/local is for system administrator stuff, so what about? /opt -> /usr/local/opt /usr/local -> /local Just half kidding!