[OT] Which IDE / Editor do you use?

[H. S. Teoh]

On Sun, Sep 15, 2013 at 06:59:24PM -0700, Jonathan M Davis wrote:
> 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.
[...]

For unmanaged stuff, I usually prefer to put each application in their
own filesystem subtree, like /usr/src/${appname}/root (which is also
just next to where I usually build the source to begin with), instead of
mixing everything together like in /usr or /usr/local. That way, if
something misbehaves, I can just use `rm -rf` to kill it off without
needing to dig through /usr/local/bin, /usr/local/share/man/man*,
/usr/local/lib, /usr/local/share, and who knows where else to find all
the bits to clean up.


T

-- 
Acid falls with the rain; with love comes the pain.