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
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
