#!/bin/csh echo '=================================================================' foreach file (*.?cov) echo $file grep "#####" $file echo '=================================================================' end