[OT] Which IDE / Editor do you use?

Iain Buclaw ibuclaw at ubuntu.com
Mon Sep 16 00:39:13 PDT 2013


On Sep 16, 2013 4:55 AM, "H. S. Teoh" <hsteoh at quickfur.ath.cx> wrote:
>
> 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.
>

For some reason I use /opt/usr or /opt/${appname}

Regards
-- 
Iain Buclaw

*(p < e ? p++ : p) = (c & 0x0f) + '0';
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20130916/6e30a15c/attachment-0001.html>


More information about the Digitalmars-d mailing list