[OT] Which IDE / Editor do you use?

[Jonathan M Davis]

On Sunday, September 15, 2013 18:53:58 H. S. Teoh wrote:
> On Sun, Sep 15, 2013 at 07:14:17PM +0200, 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.
> 
> Seriously? I installed unmanaged stuff all the time, and never had much
> of an issue. Though, granted, I never put them under /usr or /usr/local
> at all. It's usually in a dedicated subdirectory under $HOME.
> 
> Installing unmanaged stuff under the /usr tree is tricky business,
> because when you're trying to *uninstall*, you usually don't remember
> where all the bits have been scattered, and leaving them lying around
> can lead to trouble.

Which is exactly why you shouldn't do it normally. If fact, I would argue that 
you should pretty much _never_ install stuff not managed by the package manager 
in /usr. /usr/local is a different matter, because it's not usually managed by 
the package manager, but you still have to be very careful with it. Putting 
unmanaged stuff in dedicated subdirectories in $HOME is definitely a better 
approach.

- Jonathan M Davis