Hi there,
running a CakeML bootstrapping process I got an error
no space left on device
Actually, the disk was not full but consumed all possible inodes:
$ sudo df -i /
[sudo] password for gbuday:
Filesystem Inodes IUsed IFree IUse% Mounted on
/dev/sda1 512064 512064 0 100% /
That was because of 361391 MLTEMPXXXX files in /tmp.
Is that a Poly/ML thing?
- Gergely
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
