:
# firstgrep - find first pattern in file, then quit
# Heiner Steven (heiner.steven@odn.de), 25.09.1996

[ $# -lt 1 ] && exec echo >&2 "usage: $0 pattern [file ...]"

Search="$1"; shift
if [ $# -gt 1 ]
then				# Print file name
    for File
    do
	sed -n "/$Search/{s/^/$File: /p;q;}" "$File"
    done
else				# Do not print file name
    sed -n "/$Search/{p;q;}" "$@"
fi