chiark / gitweb /
chroot-setup: less error-prone set -e