在我的计算机上安装 ubuntu 18.04 后，我收到以下消息：
无法从“extensions.gnome.org”下载更新：[///源/shell 扩展/]下载失败https://extensions.gnome.org//static/extensions.json： 无法解析主机名
这条消息是什么意思？
无法下载更新？
在我的计算机上安装 ubuntu 18.04 后，我收到以下消息：
无法从“extensions.gnome.org”下载更新：[///源/shell 扩展/]下载失败https://extensions.gnome.org//static/extensions.json： 无法解析主机名
这条消息是什么意思？