У меня возникли проблемы с тем, чтобы Docker Toolbox для Windows 10 работал за корпоративным прокси.
Я не могу заставить докер войти или запустить докер, поэтому вот что я сделал для отладки.
Я создал простую машину Ubuntu на виртуальной машине.
На моем хост-компьютере я запускаю простой сервер, работающий на порту 8000.
В Убунту:
$ curl 10.0.2.2:8000
$ [it retrieves the html being served]
$ curl www.google.com
$ curl (7) Failed to connect to www.google.com port 80: Connection refused
$ export http_proxy=http://my-proxy:3128
$ curl www.google.com
$ [302 HTTP response from google]
В boot2docker:
$ curl 10.0.2.2:8000
$ [it retrieves the html being served]
$ curl www.google.com
$ curl (7) Failed to connect to www.google.com port 80: Connection refused
$ export http_proxy=http://my-proxy:3128
$ curl www.google.com
$ curl: (7) Failed to connect to my-proxy:3128: No route to host
Что тут происходит?
no route to host
- person dwjohnston   schedule 07.11.2017$(boot2docker shellinit)
? (github.com/boot2docker/boot2docker/issues/ и ниже) - person VonC   schedule 07.11.2017docker-machine
должно быть достаточно? - И да- я запускаю команды env, которые он мне дает - person dwjohnston   schedule 07.11.2017env |grep DOCKER
: вы видитеDOCKER_HOST
? - person VonC   schedule 07.11.2017