I'm looking for a command that I can throw into Terminal to give me some USB device name given its port. For instance, I have an Arduino Leonardo board attached to my computer via USB. If I use ls /dev/tty.*, I see that I have a device mounted to /dev/tty.usbmodem1411. I know that this device is ...