diff options
author | P. 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) |
commit | 1ad7e33963d583ab7c56652c169e52980b4f89c0 (patch) | |
tree | e8a10f93e4240dc079b838aec24d5cd5b9b2d1d7 /build | |
parent | 89ddced317d10a923f02b3f59c0c55cd0f3fbc38 (diff) |
Manage pci.ids.gz with update-alternatives
This way, the pciids-* packages can be coinstalled.
Diffstat (limited to 'build')
-rwxr-xr-x | build | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |