On 07/20/2017 02:30 PM, George N. White III wrote:
On 20 July 2017 at 17:41, Joe Zeff <joe@xxxxxxx <mailto:joe@xxxxxxx>> wrote:
On 07/20/2017 05:31 AM, George N. White III wrote:
Rigid adherence to a standard is often overkill. Bashisms have
been a
practical problem for systems that use dash for /bin/sh.
My understanding is that when bash is invoked as sh, it acts exactly
as sh itself would, so that only those builtin commands that are in
sh are available. Judging by what you write, this seems not to be
the case any more.
I don't recall the details, but problem scripts may well have had "#!
/bin/bash" before the decision
to use dash.
If so, the scripts should have been run using bash, not dash. In any
event, if bash is specified, /bin/sh shouldn't ever be invoked.
_______________________________________________
users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
