[OT] Which IDE / Editor do you use?

[H. S. Teoh]

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.


T

-- 
Without geometry, life would be pointless. -- VS