sh not available to sudo users.

[IUPMaholm]

Suggesting to make sh or bash a configurable option. Per the change in "1.3.7, 8 Changed to use /bin/sh instead of /bin/bash to make it work on systems without bash #3"

Our environment is only set to allow certain sudo users use sh, and most are restricted to bash. If this were a configurable option I could switch to bash and continue to utilize the extension.

"[Save as Root] exit code 1: Sorry, user username is not allowed to execute '/bin/sh -c echo "file contents:" >&2; cat <&0 > "$filename"' as otheruser on servername."