13 Nov
2018
13 Nov
'18
3:24 p.m.
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