Closed plexoos closed 5 months ago
What sort of a quota is this? Is this a limit for Docker?
It is not very surprising as we have only 70G for /
Right. Docker and spack are taking most of it. I wonder what's the best way to mitigate it. Tell docker to use some other file system?
yes, moving the docker root directory to another volume is an option
Addressed by moving docker directory to another volume
$ ls -l /var/lib/docker
lrwxrwxrwx. 1 root root 12 May 7 12:40 /var/lib/docker -> /home/docker