From: Martin Mares <mj@ucw.cz>
Date: Sun, 24 Oct 2010 08:17:55 +0000 (+0200)
Subject: update-pciids: Be more friendly to people who tweak the settings
X-Git-Tag: v3.1.8~15
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=50a39c081be7418884776401a43ad7ce49a9ac3f;p=pciutils.git

update-pciids: Be more friendly to people who tweak the settings

If somebody changes PCI_COMPRESSED_IDS to 0 manually, honor this
setting.

Suggested by Guido Trentalancia.
---

diff --git a/update-pciids.sh b/update-pciids.sh
index feef749..5e77109 100755
--- a/update-pciids.sh
+++ b/update-pciids.sh
@@ -15,7 +15,7 @@ if ! touch ${DEST} >/dev/null 2>&1 ; then
 	exit 1
 fi
 
-if [ -n "$PCI_COMPRESSED_IDS" ] ; then
+if [ "$PCI_COMPRESSED_IDS" -eq 1 ] ; then
 	DECOMP="cat"
 	SRC="$SRC.gz"
 	GREP=zgrep