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
