[PATCH 1/1] Use /bin/bash instead of /bin/sh

[Alasdair G Kergon <agk@redhat.com>]

On Fri, May 14, 2010 at 01:14:55PM +0200, Zdenek Kabelac wrote:
> Some of them could be easily fixed - some of them are trickier (i.e.
> ${RANDOM}) - as we already use bash for other scripts anyway - I've considered
> it's fairly easier to use bash for these as well...
 
Well it's fine to use some of those helpful bash extensions - pretty much every
system has it available these days - but we should still clean up the ones here
where the original syntax is equally good.

Alasdair