Use shred to securely erase a file or a partition.
shred -v /tmp/temporary-file
Trace: • port • google_dns • tcsh • dns • shred