Ubtuntu 18.04 软件“无法解析主机名”

Question

刚刚安装了 Ubuntu 18.04，Ubuntu 软件给了我以下错误：无法从“extensions.gnome.org”下载更新：[///source/shell 扩展/]下载失败https://extensions.gnome.org//static/extensions.json： 无法解析主机名

我尝试运行 sudo apt-get update 和 sudo apt-get upgrade，运行正常，但问题仍然存在。