[OT] Which IDE / Editor do you use?

[deadalnix]

On Sunday, 15 September 2013 at 17:14:19 UTC, Dicebot wrote:
> 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.

I stick them in /opt/somthing usually, but the idea is the same.