On Friday, January 29, 2021 12:20:21 PM David Wright wrote: > On Thu 28 Jan 2021 at 15:02:47 (-0500), Gene Heskett wrote: > > for a change, I am 100% with Greg W., in fact, if the file already > > exists, wget should assume a bad copy was previously obtained, and > > should then very cheerfully over write the existing file. > > No thanks. (And it doesn't do that.) But then, I don't spend my > time "nuking" files on my system. +1