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
