Re: Drew Arnett > It would be easy to write a python program to check for configuration > changes or to update a $HOME/.dev/whatever link.
Definitely have a look at udev. It allows identification of devices by USB ID, serial number, name, port plugged in, etc. and assigns the name you wanted. I have several devices here that are all using the same serial-over-usb chip, yet the udev rules can tell them apart. Christoph
