On Wed, Jan 08, 2020 at 01:45:28PM -0500, Michael Stone wrote: > On Wed, Jan 08, 2020 at 11:41:00AM -0700, ghe wrote: > > 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. > > /dev/random is unnecessarily slow and /dev/null will do nothing. the correct > device is /dev/zero
/dev/urandom might be acceptable if you're paranoid enough. Definitely do *NOT* use /dev/random for this. See random(4) for why.