On 1/8/20 10:44 AM, Felix Miata wrote > If you're seriously concerned the next owner might try that, create a new file > full of junk from /dev/random or from /dev/null that fills the existing freespace, > then remove it. This is not at all a major job. Just get dd copying from /dev/random to /dev/<diskDrive> before you go to bed tonight. Things will be all better in the morning. -- Glenn English