chiark / gitweb /
tmpdir: Split out new file of common utilities.