Skip to content

Instantly share code, notes, and snippets.

@gmolveau
Created October 25, 2018 10:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gmolveau/6fa0ddb4546ec5bd073d0037370be31e to your computer and use it in GitHub Desktop.
Save gmolveau/6fa0ddb4546ec5bd073d0037370be31e to your computer and use it in GitHub Desktop.
Docker DNS configuration for eduroam

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment