/+1,/<\/pre>/-1 d
//a
Size Date Time File
------ ---------- ---- ----
.
.r $tmpFile_2
a
Total:
$nFiles files
$nBytes bytes
.
w
Q
END_INPUT
echo "done."
# Insert the short file list into $shortFilesList
#echo -n "${me:t}: Building list of the first $theCount files... "
#ed -s $shortFilesList << END_INPUT
#//+1,/<\/pre>/-1 d
#//a
# Size Date Time File
# ------ ---------- ---- ----
#.
#.r ! head -$theCount $tmpFile_2
#w
#Q
#END_INPUT
#echo "done."
#stamp_rev-date $shortFilesList $allFilesList >& /dev/null
stamp_rev-date $allFilesList >& /dev/null
/bin/rm -f $tmpFile_0 $tmpFile_1 $tmpFile_2 $tmpFile_3
echo "${me}: done."