[computer use] Tip: prune your unused docker containers

[Quasimondo]

I am not sure if this is just due to the way I use the docker images or due to my docker configuration, but if you stop and restart the computer use docker images occasionally, every time you do that it leaves behind another unused container which in my case takes up ~15GB. And by default docker images are overlayed at /var/lib/docker on linux systems - so I was a bit surprised when my OS complained that it had 0b left on the root disk.

Anyway:
you can check all containers that use up disk space (used and unused ones) with
docker ps -a
and you can clean up all the unused ones with
docker container prune

In my case that freed 380GB of disk space