wipe out all docker files to gain back hdd space

Warning: Use only if you understand in full what and why you actually need this:

docker stop $(docker ps -q)
docker system prune --volumes