more compact view of macos' usb devices

virtualsmartcard/doc/README.txt.in

@@ -229,7 +229,13 @@ as USB device:
 
 2. Run the following command to get the device's product and vendor ID::
 
-    system_profiler SPUSBDataType
+    system_profiler SPUSBDataType \
+      | awk '
+        /Product ID:/{p=$3}
+        /Vendor ID:/{v=$3}
+        /Manufacturer:/{sub(/.*: /,""); m=$0}
+        /Location ID:/{sub(/.*: /,""); printf("%s:%s %s (%s)\n", v, p, $0, m);}
+      '
 
 3. Change :file:`/usr/local/libexec/SmartCardServices/drivers/ifd-vpcd.bundle/Info.plist`
    to match your product and vendor ID: