I tried pruning the /tmp/lib/tor/diff-cache/ folder by removing files older than one day:
find /tmp/lib/tor/diff-cache -type f -mtime 1 -exec rm {} \;
but almost five days on Tor starts complaining about their absence:
Apr 12 19:13:43.000 [warn] Unable to unlink "/var/lib/tor/diff-cache/1000" while removing file: No such file or directory
Apr 12 19:13:43.000 [warn] Unable to unlink "/var/lib/tor/diff-cache/1001" while removing file: No such file or directory
Apr 12 20:38:35.000 [warn] Unable to unlink "/var/lib/tor/diff-cache/1002" while removing file: No such file or directory
Apr 12 21:47:34.000 [warn] Unable to unlink "/var/lib/tor/diff-cache/1008" while removing file: No such file or directory
Apr 12 22:48:37.000 [warn] Unable to unlink "/var/lib/tor/diff-cache/1005" while removing file: No such file or directory
Clearly Tor uses more tmp space than what is available causing it to fill and render useless for other applications (and itself).
So my question is: now what? This is a bug, right?