On 3 Feb 2011, at 16:43, Paul Davis wrote: >> Finally, the .sh scripts should start with #!/bin/sh (preferred) or >> #!/usr/bin/env sh but never have anything "bash" in them. Portability and >> all.
Every shell script in our codebase should start with: #!/bin/sh -e
