On Wed, Jan 08, 2020 at 11:41:00AM -0700, ghe wrote:
On 1/8/20 10:44 AM, Felix Miata wroteIf 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.
/dev/random is unnecessarily slow and /dev/null will do nothing. the correct device is /dev/zero