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.]