|
|
1.1 root 1: if test -s ../$1/$1.ms
2: then
3: FILE=../$1/$1.ms
4: else
5: if test -s ../$1
6: then
7: FILE=../$1
8: else
9: if test -s $1
10: then
11: FILE=$1
12: fi
13: fi
14: fi
15: echo $FILE
16: awk '
17: /^\.hD/ {
18: if($0 ~ /"/){
19: n=split($0,a,"\"")
20: term = a[2]
21: }
22: else{
23: getline
24: term = $0
25: }
26: print term
27: }' $FILE|sort|uniq
28:
29:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.