--- ./update-pciids.sh.orig 2012-01-14 08:29:38.000000000 -0600 +++ ./update-pciids.sh 2012-07-02 21:27:47.524912718 -0500 @@ -5,7 +5,7 @@ set -e SRC="http://pci-ids.ucw.cz/v2.2/pci.ids" DEST=pci.ids -PCI_COMPRESSED_IDS= +PCI_COMPRESSED_IDS=0 GREP=grep # if pci.ids is read-only (because the filesystem is read-only),