On Jun 24 2020, L A Walsh wrote: > A second option would be to truncate the file to the last position > written.
$ truncate -r $src $dest Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."