Docker DNS configuration for eduroam

docker_dns_eduroam.md

How to set up docker DNS to work on eduroam network

If you encounter problems like apt-get failing or Temporary failure in name resolution [Errno -3], it's maybe because of Docker current DNS configuration.

To fix this, run :

sudo nano /etc/docker/daemon.json

get the DNS IP of your local eduroam network (here, mine is 193.52.32.66)

then paste this :

{
    "dns": ["193.52.32.66", "1.1.1.1"]
}

then

sudo service docker restart