<div dir="auto">Correct zsh in emulated bash mode. The other is a version of pdksh symbolically linked as /bin/bash but only claims to be a Bourne shell, not bash. Sorry for the confusion.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 1 Jul 2019, 21:45 Rob Landley, <<a href="mailto:rob@landley.net">rob@landley.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 7/1/19 3:03 PM, enh wrote:<br>
> and in the other case they talk about a "non-GNU bash", which isn't a thing,<br>
<br>
Working on it...<br>
<br>
Rob<br>
</blockquote></div>