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.