chiark / gitweb /
persistent device naming: also run on "change" event