|
|
1.1 ! root 1: MANDIR=/usr/man ! 2: TMPDIR=/usr/man/tmp ! 3: ! 4: date > $TMPDIR/greps ! 5: echo "Grep list: $*" >> $TMPDIR/greps ! 6: echo >> $TMPDIR/greps ! 7: ! 8: for pattern in $* ! 9: do ! 10: echo "\n================" >> $TMPDIR/greps ! 11: echo "$pattern:" >> $TMPDIR/greps ! 12: for dir in 1 2 3 4 5 6 7 8 ! 13: do ! 14: cd $MANDIR/man$dir ! 15: echo "cat <<'EOF' >---------------" >> $TMPDIR/greps ! 16: echo "Section $dir" >> $TMPDIR/greps ! 17: grep $pattern *.* >> $TMPDIR/greps ! 18: done ! 19: done
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.