Open ghost opened 11 years ago
the way to perform the purge btw is $ kill -USR1 polipo-pid $ sleep 1 $ polipo -x $ kill -USR2 polipo-pid
I'm going to have to think a bit more about whether this should be manual, or automatic (with an off switch). Good idea though, my cache is currently ~700mb.
perhaps more than a simple on/off switch then? Also a gui switch to control the diskCacheUnlinkTime would be nice.
There is also "preciseExpiry" which should be set when underlying filesystem does not support file-access-time (sdcards)
As an alternative, the expiration could be coded in Java or shell. The polipo code to do it is somehow very slow and does not do several things that people often wanted - such as shrink to a certain disk usage. So many people have used custom scripts such as http://code.google.com/p/dolipo/source/browse/trunk/dolipo/polipo_trimcache-0.2.py
Consider an option to flush cache automatically/periodically. It may be also useful if it is not flushed at all or manually when going for long vacations or such.. so it should be just an option.
If flushed automatically it would be good to do it when connected to power.. might be in fact better trigger than automatic timer.
From the manual: