#!/bin/csh -f
# Script to grep the errlog.  Useful as:
#   ssh remote_host errlog_grep Error:
# which sends only the matched lines across the wire, as opposed to:
#   ssh remote_host errlog | grep Error:
# which sends all lines across the wire and filters locally
errlog | grep -i --color $*:q