How to free disk space from deleted but still referenced file
Very rarely and often by mistake, you can end up with a deleted file that is still used by some process, which is likely writing to it, so the used space cannot be freed. ...
Debian Squeeze
VLC – quick solution for problems with HTTPS certs
Certificate could not be verified error. ...