From: The PCI ID Mail Robot Date: Sat, 22 Jul 2023 21:25:28 +0000 (+0200) Subject: pciids-export: Add .xz version X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=c6b497950adbb1b7cab383148cb670b20e9503d1;p=pciids.git pciids-export: Add .xz version --- diff --git a/scripts/pciids-export b/scripts/pciids-export index 88f42a2..529b58d 100755 --- a/scripts/pciids-export +++ b/scripts/pciids-export @@ -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.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.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