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

Christopher Nicholson-Sauls ibisbasenji at gmail.com
Wed Dec 8 19:43:24 PST 2010


On 12/08/10 19:50, Ellery Newcomer wrote:
> 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?

I've only ever used dmd and objdump myself.  Honestly, shell could
probably go away with hardly anyone noticing (naked assumption).  If
not, it could be renamed (dmd-shell?).

As for which is scanned first, /usr/bin or /usr/local/bin, my own system
scans /usr/local/bin first.  Of course this is unreliable, since there's
no guarantee of that ordering.  I "vote" for renaming it, unless there's
a wide consensus to remove it from the package.

Disclaimer: I haven't actually used Debian or Ubuntu myself in ages, so
I'm used to manually installing DMD anyhow... and these days, I just
sandbox each project with it's own.

-- Chris N-S


More information about the Digitalmars-d mailing list