chiark / gitweb /
label: udev might be making changes in /dev while we iterate through it