我在 Windows 10 工作机器上运行 Ubuntu 16.10（带 Cinnamon）作为 VirtualBox 客户机。我们使用 DirectAccess 作为 VPN，它使用 IPv6 通过隧道接口路由某些流量。我的网络设置使得我可以使用 从 Ubuntu ping IPv6 地址ping6 <the IPv6 address>，但我希望能够 ping 机器的主机名。
当我打开网络设置我可以看到有线适配器，当我选择它并点击设置图标时，我可以点击IPv6标签如下所示：
我的直觉是单击 DNS > 自动关闭，然后将我想要使用的 DNS 的 ipv6 地址粘贴到框中。但是当我这样做时，它不起作用，当我返回该选项卡时，我输入地址的框已更改为 ipv4 地址，并且框是红色的，因为这显然不是一个好的 ipv6 地址。
我想也许由于某种原因，这个盒子不支持缩短的符号，但事实并非如此。
那么发生了什么？我错过了什么？