[ale] changing dash to bash in ubuntu

[David Tomaschik]

On 02/19/2011 12:51 PM, Michael Potter wrote:
> You are correct: sh does not support pipefail.
>
> I advocate that if one writes scripts that pipes commands together one
> should use a shell that supports pipefail and one should turn that
> option on.
>
More generally: if you write scripts that depend on bash-specific
functionality, use /bin/bash and not /bin/sh.

David