[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