Re: [PATCH] contrib: Replaced /bin/sh with /bin/bash to make scripts with Bash syntax work on Solaris.

Asgeir Storesund Nilsen [off-list ref] writes:

I absolutely agree on the idea of using pure POSIX, but in reality I guess
most of both developer and user base are using (GNU/)Linux and thus an
environment where /bin/sh is in fact Bash?

For example, dash is a much lighter alternative than bash, and groks POSIX
fine.

I think a safer assumption is that /bin/sh is POSIX, and we make sure that
the builder can countermand it with SHELL_PATH; as platforms whose /bin/sh
is _not_ POSIX does not have to have bash as /bin/bash but somewhere else
(e.g. /usr/local/bin/bash).