Shell scripts requiring bash

[David Miller]

From: Thomas Schwinge <thomas@codesourcery.com>
Date: Tue, 20 Mar 2012 16:37:00 +0100

> David, are you (as well as the maintainers) actively interested in
> turning these into POSIX shell scripting compliant code?

I'm happy to work on that, I might actually learn something. :-)

> I would continue to use arrays (and thus change some infrastructure to
> invoke Bash instead of /bin/sh); I agree with Joseph's position (OK to
> use Bash internally) quoted here:

This is perfectly fine meanwhile.