+PCI_COMPRESSED_IDS=
+GREP=grep
+
+[ "$1" = "-q" ] && quiet=true || quiet=false
+
+# if pci.ids is read-only (because the filesystem is read-only),
+# then just skip this whole process.
+if ! touch ${DEST} >/dev/null 2>&1 ; then
+ ${quiet} || echo "${DEST} is read-only, exiting." 1>&2
+ exit 1
+fi