chiark / gitweb /
Tidy up the shell scripts somewhat.