chiark / gitweb /
debug-shell: don't be picky, use /bin/sh rather than /bin/bash