chiark / gitweb /
More error handling: set -e, set -o pipefail