|
|
1.1 ! root 1: for i in /usr/vol2/* ! 2: do ! 3: j=`basename $i` ! 4: if test -s $i/$j.ms ! 5: then ! 6: echo ms $j 1>&2 ! 7: grep "$1" $i/$j.ms ! 8: else ! 9: if test -s $i/$j.tex ! 10: then ! 11: echo tex $j 1>&2 ! 12: grep "$1" $i/$j.tex ! 13: else ! 14: if test -s $i/$j.m ! 15: then ! 16: echo monk $j 1>&2 ! 17: grep "$1" $i/$j.m ! 18: else ! 19: echo $i not found ! 20: for j in $i/*.ms ! 21: do ! 22: k=`basename $i` ! 23: l=`basename $j .ms` ! 24: if test -s $j ! 25: then ! 26: echo running $j to $k 1>&2 ! 27: grep "$1" $j ! 28: fi ! 29: done ! 30: for j in $i/*.m ! 31: do ! 32: k=`basename $i` ! 33: l=`basename $j .m` ! 34: if test -s $j ! 35: then ! 36: echo running $j to $k 1>&2 ! 37: grep "$1" $j ! 38: fi ! 39: done ! 40: fi ! 41: fi ! 42: fi ! 43: done
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.