On Thursday, July 26, 2012 12:50:47 PM Tom Gundersen wrote: > On Thu, Jul 26, 2012 at 8:53 AM, Jayesh Badwaik > > <jayesh.badwaik90@xxxxxxxxx> wrote: > > Why will /opt have to go? > > I don't think we will ever manage to get rid of /opt. However, if we > were to follow brainworker's renaming scheme I'd suggest > > /opt to /crap > > Should make it clear what kind of packages belong there ;-) > > -t Hey now we are making progress