Docker seems to eat disk space and leave a lot of left overs around. Here are some resources to fix that.
Docker image prune (the new standard fix)
docker image prune
https://docs.docker.com/config/pruning/
https://docs.docker.com/engine/reference/commandline/image_prune/
https://gist.github.com/anildigital/862675ec1b7bccabc311
General Info
https://www.digitalocean.com/community/tutorials/how-to-remove-docker-images-containers-and-volumes
https://stackoverflow.com/questions/17665283/how-does-one-remove-an-image-in-docker
Is the /var/lib/docker/ folder large?
sudo du -sh /var/lib/docker/
If it's large, may need to zap it (careful with this one!):
Ref: https://stackoverflow.com/questions/45798076/how-to-clean-up-docker
$ sudo su
# service docker stop
# cd /var/lib/docker
# rm -rf *
# service docker start
For more info about this folder see: https://stackoverflow.com/questions/19234831/where-are-docker-images-stored-on-the-host-machine
And also......try removing dangling images
https://forums.docker.com/t/how-to-remove-none-images-after-building/7050/3List dangling:
docker images -f "dangling=true" -q
Delete dangling:
docker rmi $(docker images -f "dangling=true" -q)
Force delete dangling:
docker rmi -f $(docker images -f "dangling=true" -q)