How to use Terminal to securely erase free space on a Mac’s drive