Hi, Are there any general ways to clear up some memory in the /root folder (like what are some files that don't get usually get left behind after installs, logs, etc)? Previously I was able to pull the precheck docker image, but now after uninstalling and re-installing the docker, I am unable to run "make precheck" because it says there is not enough memory to install the docker image (from docker pull efabless/mpw_precheck:latest)? I tried online fixes to change the docker image folder to my home directory instead of /var/lib/docker but did not succeed. I think maybe before I had a strip down basic version of docker that came with Linux, and that was small in size, but uninstalling and re-installing it gave me the full version, which is larger. How much memory does the precheck docker image need normally? Thanks.

I'm not really the best person to answer that question; you might want to ask Jeff DiCorpo. I recall some discussion around whether the precheck requires its own copy of the skywater PDK, which can get very large due to things like liberty timing files. But I thought that the answer was no, that we were purposefully trying to keep the precheck docker image small so it would not cause this kind of problem.

Thanks @User for the info! It is strange because I had run that docker pull command before multiple times and it never had the memory issue, but I ran it once in the caravel_analog project folder and it started installing it again, and now I have very little memory but not sure where I can delete anything. @User Do you have any suggestions for this problem?

@User The precheck docker image uses 1.83 GB of disk space, but as it is updated from time to time, previous versions can accumulate. You can use "docker image ls" to list downloaded images and "docker image rm" to clean up versions you no longer need.

is there any command to change the docker image directory from /var/lib in root to somewhere on my home directory?

You can “garbage collect” via

docker system prune --volumes

(aggressive, see

docker system prune --help

) or lesser, more targeted prune commands (…just images or volumes, etc.). I don’t know how or if can redirect use of /var/lib/ to elsewhere. EDIT: google suggests (but comments cite issues, and other links): https://linuxconfig.org/how-to-move-docker-s-default-var-lib-docker-to-another-directory-on-ubuntu-debian-linux