- Open the Terminal.app (Found in /Applications/Utilities).
- Type
cd
and drag the folder which contains the file you want to delete, to the terminal window. - Type
rm -P FileName.extension
and hit Enter
Linux - srm
https://www.howtogeek.com/425232/how-to-securely-delete-files-on-linux/