[isabelle-dev] isatest home directory full

Lukas Bulwahn bulwahn at in.tum.de
Mon Apr 23 07:58:39 CEST 2012

On 04/22/2012 03:04 PM, Florian Haftmann wrote:
>> I've managed to remove more than 5 GB of old heap files, but this might
>> be a bit pathethic due to this directory:
>>    225G tmp/shared_results
>> Does anybody know what it is?
> These are the results from the mira runs, which in theory are kept
> eternally.  There is the mira command »purge« which throws them away
> except the most recent ones (however the heuristic is).  I personally
> don't have any intimate knowledge about the mira setup at TUM any longer
> and am reluctant to risk something, so I kindly ask for action from the
> current mira administrators at TUM.
> Best,
> 	Florian
We manually purge the results when we get close to the quota.
This is now been done just a moment ago.
Supposingly our quota is monitored, and we should get email 
notifications, however I have not seen any lately.


> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120423/68b1c6c9/attachment-0002.html>

More information about the isabelle-dev mailing list