On 20 July 2017 at 17:41, Joe Zeff <joe@zeff.us> 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.  


--
George N. White III <aa056@chebucto.ns.ca>
Head of St. Margarets Bay, Nova Scotia