|
|
researchv10 Dan Cross
if test -s ../$1/$1.ms
then
FILE=../$1/$1.ms
else
if test -s ../$1
then
FILE=../$1
else
if test -s $1
then
FILE=$1
fi
fi
fi
echo $FILE
awk '
/^\.hD/ {
if($0 ~ /"/){
n=split($0,a,"\"")
term = a[2]
}
else{
getline
term = $0
}
print term
}' $FILE|sort|uniq
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.