docker build命令和github的问题

Question

我试图将dev env作为docker machine运行，

我创建了以下docker文件

docker build -t dev .

运行时 <script> var URL = "<?php echo base_url('Supplies_controller/getCategory'); ?>"; </script> <script src="populate_dropdown.js"></script>

我收到了以下信息

  

致命：无法连接到github.com：   github.com：名称或服务未知

为什么会这样，我该如何解决这个恼人的问题？

Answer 1

这是VirtualBox / boot2docker的一个已知问题;切换网络时，boot2docker有时会丢失其DNS信息。看到这些问题; https://github.com/boot2docker/boot2docker/issues/776，https://github.com/docker/machine/issues/1857

您可以尝试重启机器;

docker-machine stop default
docker-machine start default

或者将正确的名称服务器设置为虚拟机;

docker-machine ssh default
echo "nameserver 8.8.8.8" > /etc/resolv.conf