On 29 June 2017 at 17:12, Eric Blake <[email protected]> wrote: > Thankfully, I didn't see any bashisms, so you appeared to have stuck to > portable /bin/sh code.
My /bin/sh is dash, which catches at least some of the more obvious bashisms. thanks -- PMM
