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 /pciids-reduced.pkg/prerm | |
| parent | 89ddced317d10a923f02b3f59c0c55cd0f3fbc38 (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/prerm | 5 |
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 |