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