[isabelle-dev] isatest home directory full

[Florian Haftmann]

> 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

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120422/2580de70/attachment.sig>