Je sais comment créer un nouveau docker-machine avec les paramètres DNS
docker-machine create -d virtualbox --engine-opt dns=8.8.8.8 my_machine
Mais il existe déjà une machine virtuelle "par défaut", donc existe-t-il un moyen de changer son DNS?
J'ai lu des façons en ligne de le faire avec boot2docker, mais cet outil est obsolète et docker-machine l'a remplacé. Malheureusement, c'est tellement nouveau que je n'ai pas trouvé grand-chose en ligne à ce sujet.
Aller à ~/.docker/machine/machines/default/config.json
et ajoutez votre propre serveur DNS dans HostOptions/EngineOptions/Dns
et redémarrez la machine Docker.
{
"HostOptions": {
"Driver": "",
"Memory": 0,
"Disk": 0,
"EngineOptions": {
"ArbitraryFlags": [],
"Dns": ["192.168.99.1","8.8.8.8","8.8.4.4"], <-- set it here
"GraphDir": ""
}
}
Sur Windows 10, l'interface utilisateur de Docker donne certaines fonctionnalités.
Faites simplement un clic droit sur l'icône du docker dans la barre de notification et sélectionnez l'élément "Paramètres".
Ensuite, dans la fenêtre Docker, sélectionnez la section "Réseau" et changez l'option DNS de "Automatique" à "Fixe" et cliquez sur "Appliquer". Docker se redémarrera ensuite. J'ai mis le DNS de Google (8.8.8.8) et cela a bien fonctionné pour moi.
J'espère que cela aide.