#!/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:
- A search for med "
echo "shows you all institutions or addresses containing Med, Medical, etc."
echo "
- A search for edu.au shows all educational sites in
Australia "
echo "that include a domain name address for their Ariel machine."
echo "
- A search for ;* (semicolon followed by asterisk) shows all entries"
echo "added or changed during the current month.
"
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