[OT] Which IDE / Editor do you use?
John Colvin
john.loughran.colvin at gmail.com
Mon Sep 16 01:07:22 PDT 2013
On Monday, 16 September 2013 at 01:55:25 UTC, 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.
>
>
> T
Ever since watching a friend have his entire /usr deleted by a
dodgy 'sudo make install', i desperately avoid manually
installing to anywhere but a dedicated subdir in $home. No root
access needed and I actually know where everything is =)
More information about the Digitalmars-d
mailing list