what is the name of a virtual serial port?

[Michael Hennebry]

I want to open a USB virtual serial port from python.
How do I figure out the name to pass to serial.Serial(...)?
>From poking around in /sys/bus/usb/devices/ ,
the bus and dev numbers are 4 and 2.
I recognize product.
There is lots of stuff under
/sys.bus/usb/drivers/cdc_acm/4-2:1.0/tty/ttyACM0 ,
but I don't know what to do with it?

With Windows, I had to read the registry, but at least I could come up
with a short list of serial ports that included the virtual serial port.
I hope I don't *have* to use Windows.

-- 
Michael   hennebry at web.cs.ndsu.NoDak.edu
"Pessimist: The glass is half empty.
Optimist:   The glass is half full.
Engineer:   The glass is twice as big as it needs to be."