From c6b497950adbb1b7cab383148cb670b20e9503d1 Mon Sep 17 00:00:00 2001 From: The PCI ID Mail Robot Date: Sat, 22 Jul 2023 23:25:28 +0200 Subject: [PATCH] pciids-export: Add .xz version --- scripts/pciids-export | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.39.5