#!/bin/sh echo Content-type: text/html echo if [ $# = 0 ] then echo "Ariel Sites" echo "

Ariel Sites

" echo "This screen lets you search for text strings in the list of registered Ariel" echo "users maintained by RLG. In the Search Index field below, enter any part of" echo "an institution's name or Internet address.

For example:

" echo "" else echo "Result of search for \"$*\"." echo "

Result of search for \"$*\".


" grep -i "Last updated" /1c/ftpd/pub/ariel.adr echo "
" grep -i "indicates additions" /1c/ftpd/pub/ariel.adr echo "

Please send additions or corrections to bl.ric@rlg.stanford.edu

" echo "

Machine Name                     IP Address        Institution Name"
  echo "-------------------------------  ----------------  --------------------------------------
--------------------"
  grep -i "$*" /1c/ftpd/pub/ariel/ariel.adr
  echo "
" echo "
Start a new search

" echo "Return to RLG Home Page." fi