#!/bin/csh -f # No need to ever check the local log. Check trident's instead. settitle "ERRTAIL" trident --notitle errtail $*:q