chiark / gitweb /
set -e to make it easier to kill this