#!/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

# Note: Use "$*", not $*:q, or multiple args and multi-word args don't work.
#       If they're not all in one string, words beyond the first are
#       treated as filename args to grep, not the string to be searched.
errlog | grep -i --color "$*"