如何更改"默认"docker-machine的dns设置

我知道如何用dns设置创建一个新的docker-machine

docker-machine create -d virtualbox --engine-opt dns=8.8.8.8 my_machine

但是已经有一个"默认"的虚拟机,所以有没有办法改变它的dns？

我在线阅读使用boot2docker的方法,但该工具已被弃用,而docker-machine已取代它.不幸的是,它是如此新鲜,以至于我没有在网上找到这方面的内容.

转到~/.docker/machine/machines/default/config.json并添加您自己的DNS服务器HostOptions/EngineOptions/Dns并重新启动docker machine.

{  
   "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": ""
        }
}