--- /usr/sbin/update-pciids 2012-02-08 03:04:56.000000000 -0800 +++ update-pciids 2012-04-27 11:27:59.720028187 -0700 @@ -5,7 +5,7 @@ set -e SRC="http://pci-ids.ucw.cz/v2.2/pci.ids" DEST=/usr/share/hwdata/pci.ids -PCI_COMPRESSED_IDS= +PCI_COMPRESSED_IDS=0 GREP=grep # if pci.ids is read-only (because the filesystem is read-only),