summaryrefslogtreecommitdiffstats
path: root/pciids-reduced.pkg/prerm
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 /pciids-reduced.pkg/prerm
parent89ddced317d10a923f02b3f59c0c55cd0f3fbc38 (diff)
Manage pci.ids.gz with update-alternatives
This way, the pciids-* packages can be coinstalled.
Diffstat (limited to 'pciids-reduced.pkg/prerm')
-rw-r--r--pciids-reduced.pkg/prerm5
1 files changed, 5 insertions, 0 deletions
diff --git a/pciids-reduced.pkg/prerm b/pciids-reduced.pkg/prerm
new file mode 100644
index 0000000..9d8f883
--- /dev/null
+++ b/pciids-reduced.pkg/prerm
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+if [ "x${1}" = 'xremove' ]; then
+ update-alternatives --remove pci.ids /usr/share/misc/pci.ids.reduced.gz
+fi