summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorP. J. McDermott <pj@pehjota.net>2015-09-06 12:05:50 (EDT)
committer P. J. McDermott <pj@pehjota.net>2015-09-06 12:05:50 (EDT)
commit1ad7e33963d583ab7c56652c169e52980b4f89c0 (patch)
treee8a10f93e4240dc079b838aec24d5cd5b9b2d1d7 /build
parent89ddced317d10a923f02b3f59c0c55cd0f3fbc38 (diff)
Manage pci.ids.gz with update-alternatives
This way, the pciids-* packages can be coinstalled.
Diffstat (limited to 'build')
-rwxr-xr-xbuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/build b/build
index 8605614..5f55422 100755
--- a/build
+++ b/build
@@ -10,6 +10,6 @@ install:
install -d -o 0 -g 0 -m 0755 pciids-full.data/usr/share/misc/
install -d -o 0 -g 0 -m 0755 pciids-reduced.data/usr/share/misc/
sed '/^#/d; /^[ \t]*$$/d;' src/pci.ids | gzip -9cn \
- >pciids-full.data/usr/share/misc/pci.ids.gz
+ >pciids-full.data/usr/share/misc/pci.ids.full.gz
sed '/^#/d; /^[ \t]*$$/d; /^\t\t/d;' src/pci.ids | gzip -9cn \
- >pciids-reduced.data/usr/share/misc/pci.ids.gz
+ >pciids-reduced.data/usr/share/misc/pci.ids.reduced.gz