Add a simple script to update the IDs.
authorDiego Elio Pettenò <flameeyes@flameeyes.eu>
Sun, 8 Apr 2012 18:52:07 +0000 (20:52 +0200)
committerDiego Elio Pettenò <flameeyes@flameeyes.eu>
Sun, 8 Apr 2012 18:52:07 +0000 (20:52 +0200)
fetch.sh [new file with mode: 0755]

diff --git a/fetch.sh b/fetch.sh
new file mode 100755 (executable)
index 0000000..6846191
--- /dev/null
+++ b/fetch.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+curl http://pci-ids.ucw.cz/v2.2/pci.ids.bz2 | bzcat > pci.ids
+curl http://www.linux-usb.org/usb.ids.bz2 | bzcat > usb.ids