Jacek Pliszka wrote: > You still may have volumes with the same labels.
True, but at least that would be because of bad naming policy by the user, rather than because of hardware failure, pressing the reset button, plugging the cable in the wrong port... I guess my point is that we should follow the principle of least surprise. Most users would expect duplicate volume names to cause trouble., but most would not expect /home/ to become /opt just because they plugged their cable into a different hub port. -- Mark McClelland [EMAIL PROTECTED] PGP public key fingerprint: 317C 58AC 1B39 2AB0 AB96 EB38 0B6F 731F 3573 75CC _______________________________________________ [EMAIL PROTECTED] To unsubscribe, use the last form field at: https://lists.sourceforge.net/lists/listinfo/linux-usb-devel
