|
|
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.