chiark / gitweb /
udev: use unique names for temporary files created in /dev