У меня проблема с Docker Toolbox:
$ docker build -t myproject/myproject-docker .
Sending build context to Docker daemon 371.8MB
Step 1/4 : FROM openjdk:8-jdk-alpine
Get https://registry-1.docker.io/v2/: dial tcp: lookup registry-1.docker.io on 10.0.2.3:53: read udp 10.0.2.15:37892->10.0.2.3:53: i/o timeout
Кто-то предлагает, возможно, решение в этой теме: https://stackoverflow.com/a/48776535/5240905 путем изменения адреса DNS до 8.8.8.8
Но для этого мне нужно изменить настройки докера, и я не могу понять, где он находится... У меня нет значка докера на панели задач из-за Docker Toolbox (отличается от Docker для Windows).
Итак, возникает ли эта ошибка из-за неправильного адреса DNS, и если это так: где я могу изменить профиль Docker по умолчанию, чтобы выбрать 8.8.8.8 в качестве адреса DNS по умолчанию?