Add the option to choose the serial port

[NICOLASGON]

Hello,

This patch add the option in the cli to choose the teensy we want to flash.
Thank you,
Nicolas Gonzalez

[peternewman]

This is the serial number of the device, rather than anything to do with the serial port isn't it?

[siteswapjuggler]

Is this patch still active and valid ? Do you know a good way to get Teensys serial number with a command line tool ?

[peternewman]

Do you know a good way to get Teensys serial number with a command line tool ?

Something like lsusb should do so @siteswapjuggler

[siteswapjuggler]

Hello I found lsusb -v which works like a charm thanks :)

[peternewman]

Hello I found lsusb -v which works like a charm thanks :)

Adding -d and the right vendor/product would let you just show Teensys, which might be even more useful.

lshw may also show them, and has XML and JSON output formats which could be parsed more reliably. It also has ways to filter for just particular classes of data.

[siteswapjuggler]

Yep my final scrip is something is :
lsusb -v -d 0x16c0: | grep iSerial