I did the procedure just now again on Linux and these are the output:
ProMicro connected for bootloader upload:
[15944.904026] usb 5-2: new full-speed USB device number 11 using uhci_hcd
[15945.146066] usb 5-2: New USB device found, idVendor=1b4f, idProduct=9205
[15945.146072] usb 5-2: New USB device strings: Mfr=2, Product=1, SerialNumber=0
[15945.146077] usb 5-2: Product: Pro Micro 5V
[15945.146080] usb 5-2: Manufacturer: SparkFun Electronics
[15945.149198] cdc_acm 5-2:1.0: ttyACM1: USB ACM device
ProMicro and ISP removed and ProMicro connected again to upload sketch:
[16018.280028] usb 5-2: new full-speed USB device number 12 using uhci_hcd
[16018.466050] usb 5-2: New USB device found, idVendor=1b4f, idProduct=9205
[16018.466057] usb 5-2: New USB device strings: Mfr=2, Product=1, SerialNumber=0
[16018.466061] usb 5-2: Product: Pro Micro 5V
[16018.466064] usb 5-2: Manufacturer: SparkFun Electronics
[16018.469175] cdc_acm 5-2:1.0: ttyACM0: USB ACM device
Uploading in process:
[16145.064060] usb 5-2: USB disconnect, device number 12
Uploading finished and device appear as unknown:
[16145.304026] usb 5-2: new full-speed USB device number 13 using uhci_hcd
[16145.481312] usb 5-2: New USB device found, idVendor=1b4f, idProduct=9206
[16145.481319] usb 5-2: New USB device strings: Mfr=1, Product=2, SerialNumber=0
[16145.481323] usb 5-2: Product: USB IO Board
[16145.481326] usb 5-2: Manufacturer: Unknown
[16145.484415] cdc_acm 5-2:1.0: This device cannot do calls on its own. It is not a modem.
[16145.484455] cdc_acm 5-2:1.0: ttyACM0: USB ACM device
[16145.491451] input: Unknown USB IO Board as /devices/pci0000:00/0000:00:1d.3/usb5/5-2/5-2:1.2/input/input15
[16145.491761] generic-usb 0003:1B4F:9206.000B: input,hidraw2: USB HID v1.01 Mouse [Unknown USB IO Board ] on usb-0000:00:1d.3-2/input2
Hope this helps.
Thanks with regards,