I deleted a file about 200 GB big, but it still seems as the space is reserved for some reason.  I tried clearing it with a bunch of commands I found, but nothing worked for me (for files being kept in cache since they are still opened by some application).  I also rebooted a bunch of times, but nothing worked.

The parent folder still has the original size, but it seems the subfolders are all the right size.

I hope someone has an idea why it’s still reserved or how I can get rid of it.

du output:

# du -sh /home/vincent/ 200G /home/vincent/ # du -bsh /home/vincent/* 14K /home/vincent/Desktop 8.2G /home/vincent/Documents 3.8G /home/vincent/Downloads 11K /home/vincent/java_error_in_PHPSTORM_3425.log 1.8K /home/vincent/java_error_in_PHPSTORM_6837.log 1.8K /home/vincent/java_error_in_WEBIDE_3683.log 4.0K /home/vincent/Music 0 /home/vincent/myCA.key 4.0K /home/vincent/Pictures 39 /home/vincent/PlayOnLinux's virtual drives 8.0K /home/vincent/Postman 4.0K /home/vincent/Public 4.0K /home/vincent/Templates 4.0K /home/vincent/Videos 

^{[Transcribed from screenshot.]}