-
Notifications
You must be signed in to change notification settings - Fork 346
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Disk space not freed up from cache #512
Comments
Should be fixed in the beta ppa. If you are using opam, you can try the fix before it gets to the main repo, running:
To restore the main repo version:
Thanks for reporting the issue! |
Thanks for the fix! |
This is a fix or a workarround? |
It should fix the issue. The |
OK! Thanks for the effort. |
I can confirm, that this is fixed! |
Hi
I ran into an issue, that my disk became 100% filled, however analyzing my filesystem I only used 20%. I did some digging and found, that when files are deleted from cache, the data doesn't gets deleted, becasue the files are still open.
I double checked and all uploads finished. I closed the application which was writting to googledrive, waited a few hours, but the space is still occupied, and i can see the cache files if i execute
sudo lsof | grep 'delete'
So to sum up:
My cache directory is empty
sudo lsof | grep 'deleted'
shows that 20GB cache files are deleted, but still thereVerified that modified files are updated in googledrive
Verified that there is no network activity
Verified with
df -h
that 20GB of space is still filledPlease advise!
Thanks!
The text was updated successfully, but these errors were encountered: