Thanks, but both split and dd can only copy the first (or more) part(s) of a file to a new file. Copying the start of the file is trivial, but requires disk space and a lot of time. Truncating it in place is what I'm after.
Thanks, Volker -- Volker Kuhlmann is possibly list0570 with the domain in header http://volker.dnsalias.net/ Please do not CC list postings to me.