[OT] Which IDE / Editor do you use?

[Dicebot]

On Saturday, 14 September 2013 at 10:32:26 UTC, Nick Sabalausky 
wrote:
> My understanding (purely from the link below) was that 
> /usr/local/* was
> *specifically* for non-package-managered stuff, whereas /usr/* 
> was
> *specifically* for package-managered things:
>
> http://unix.stackexchange.com/questions/8656/usr-bin-vs-usr-local-bin-on-linux

Not entirely true. You should never have anything not managed by 
package manager on Linux system, it is a reliable road to 
disaster. Better distinction is "/usr/" for packages from 
official repos, "/usr/local" for own custom packages.