chiark / gitweb /
util-lib: rework /tmp and /var/tmp handling code