scripts/pciids-export

   1 #!/bin/bash
   2
   3 set -e
   4
   5 cd ~vorner/www/pci-ids2.ucw.cz/
   6 cp /home/pciids/head.ids pci.ids.new
   7 ./scripts/export.pl | sed -e '/^ffff/r class_head.ids' >> pci.ids.new
   8 if ! [ -f static/pci.ids ] || ! diff static/pci.ids pci.ids.new >/dev/null ; then
   9         cp pci.ids.new ~/origs/00-current
  10         mv pci.ids.new static/pci.ids
  11         bzip2 -9c <static/pci.ids >static/pci.ids.bz2
  12         gzip -9c <static/pci.ids >static/pci.ids.gz
  13 else
  14         rm pci.ids.new
  15 fi