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?
