]> mj.ucw.cz Git - pciids.git/commitdiff
pciids-export: Add .xz version
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sat, 22 Jul 2023 21:25:28 +0000 (23:25 +0200)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sat, 22 Jul 2023 21:25:28 +0000 (23:25 +0200)
scripts/pciids-export

index 88f42a28d7e76dbd45ceb45213bf866f32cb3f43..529b58d16f9ab1cdcb11a9613ee81e2ebcf8e4ad 100755 (executable)
@@ -44,6 +44,10 @@ if ! [ -f docs/pci.ids.nohead ] || ! cmp docs/pci.ids.nohead pci.ids.new >/dev/n
        gzip -9c <docs/pci.ids >docs/pci.ids.gz.new
        mv docs/pci.ids.gz.new docs/pci.ids.gz
        ln -f docs/pci.ids.gz docs/v2.2/
+
+       xz -c <docs/pci.ids >docs/pci.ids.xz.new
+       mv docs/pci.ids.xz.new docs/pci.ids.xz
+       ln -f docs/pci.ids.xz docs/v2.2/
 fi
 
 rm pci.ids.new