#!/bin/csh -f # catwithnames # ----------------------------------------------------------------------------- # Shell script to cat the specified files with the name of each showing. # ----------------------------------------------------------------------------- # Usage: See Usage section below or run with -h or --help option to see usage. # Assumptions: # Effects: # Notes: # Implementation Notes: # Portability Issues: # Revision History: # $Log$ # ----------------------------------------------------------------------------- if ($#argv < 1 || "$1" == "-h" || "$1" == "--help") then echo "Usage: $0:t filename..." exit 1 endif foreach filename ($*:q) echo "" printheader $filename:q echo "" cat $filename:q end