> Not that I disagree with this small extensions, but it's against the exact
> reason why we tell people to write #!/bin/sh scripts instead of #!/bin/bash
> scripts.  If we start the extend our sh(1) with bash "features", we are
> contributing to script-unportability.

I fully agree.

Masao