Docker pull lookup index.docker.io: no such host

Question

I am trying to upload a centos image to the "Docker quickstart terminal" with the command

docker pull centos:7 

with the result

 Pulling repository docker.io/library/centos Error while pulling image: Get https://index.docker.io/v1/repositories/library/centos/images: dial tcp: lookup index.docker.io: no such host 

I am using Docker version 1.9.1, build a34a1d5

Update

This is similar to the problem with the DNS visible from the "Docker Quick Launch Terminal"

 $ nslookup.exe index.docker.io Serwer: UnKnown Address: 2a01:1700:2:ffff::9f01 *** UnKnown nie może odnaleźć index.docker.io: No response from server 

Answer 1

This is usually a problem with the proxy server: if you use a proxy to access the Internet, make sure that:

• either set the HTTP (S) _PROXY environment variable correctly
• or use the docker machine design with the -engine-env right option

For example, on my Windows using VirtualBox:

 docker-machine create -d virtualbox \ --engine-env HTTP_PROXY=$http_proxy --engine-env HTTPS_PROXY=$https_proxy \ --engine-env http_proxy=$http_proxy --engine-env https_proxy=$https_proxy \ --engine-env NO_PROXY=$no_proxy --engine-env no_proxy=$no_proxy aMachine 

This will create a permissions configuration file / var / lib / boot 2docker / profile with the variables declared in it, allowing the docker daemon to access the Internet.

The quick start key opens the default ssh session for the default virtual machine.
This is the same as docker-machine ssh default .
If this default VM skips the right docker-machine rm profile, you can docker-machine rm and recreate it, this time using --engine-env .