How to Actually Free Disk Space on Linux

(Without Guessing or Breaking Things)