/+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
/bin/rm -f $tmpFile_0 $tmpFile_1 $tmpFile_2 $tmpFile_3
echo "${me}: done."