Re: DMD2 .deb fails to install on Ubuntu 10.10 – just remove »shell«?

[Ellery Newcomer]

Quick - which gets executed first - /usr/bin/* or /usr/local/bin/*  ?

Either way, someone or something is going to be surprised.

It would probably be a better idea to either remove or rename the less 
used ones. 'shell' is uncomfortably generic.

Don't know if anyone does, but I have never used any of the binaries 
except dmd and rdmd.

Except when I can't remember which is objdump and which is dumpobj.

On 12/08/2010 07:29 PM, Walter Bright wrote:
> Walter Bright wrote:
>> Andrei Alexandrescu wrote:
>>> This seems pretty urgent. Walter?
>>
>> I asked Jordi, who prepares the .deb files.
>
> Should the binaries be installed on /usr/local/bin instead?