cds/tools/chlorodb added

Former-commit-id: 0579e878a69b7c285ca71870e9ca5730649a2fda
Former-commit-id: 7cced5b488441d87bf070a9a444317db0e048880
This commit is contained in:
alain viari
2015-11-13 17:41:18 +01:00
parent 0d5f0c1f20
commit e4d6a8484d
585 changed files with 4750 additions and 50 deletions

View File

@@ -0,0 +1,17 @@
#
BEGIN {
if (FILE == "") FILE = "db.sel.txt"
while (getline < FILE)
INC[$1] = $1
close(FILE)
}
/^>/ {
name = substr($1, 2)
ok = name in INC
}
ok {
print $0
}