Add PCI database from web, accessed with pci -v. [rsc] --rw-rw-r-- M 191333 rsc sys 193035 Sep 22 10:09 lib/pci [rsc] --rwxrwxr-x M 191333 glenda sys 752 Sep 22 10:53 rc/bin/pci /n/sourcesdump/2005/0922/plan9/rc/bin/pci:1,3 - /n/sourcesdump/2005/0923/plan9/rc/bin/pci:1,56 #!/bin/rc - cd '#$/pci' && grep . *ctl | sed 's/ctl:/: /' + fn verbose { awk ' + + function lower(s) { + gsub(/A/, "a", s) + gsub(/B/, "b", s) + gsub(/C/, "c", s) + gsub(/D/, "d", s) + gsub(/E/, "e", s) + gsub(/F/, "f", s) + return s + } + BEGIN{ + file="/lib/pci" + FS="\t" + while(getline