chiark / gitweb /
namespace: make sure /tmp, /var/tmp and /dev are writable in namespaces we set up