#!/bin/csh
######################################################
# Shell script to concatenate a series of files that
# may have very long lines. Each file is preceded with
# the date, time, and filename
# Lee Chia Ling
# Created 09 Sept 1994
######################################################
if ("$1" == "") then
echo "Usage: " $0 " < filenames ... >"
else
while ("$1" != "")
echo =========================================================
echo Filename = $1, printed at `date`
echo =========================================================
cat $1
shift
end
endif
echo done
|