在 Dell XPS 15 笔记本电脑上使用 Linux Mint 18.3。
我的更新管理器遇到了一些问题，我很难对其进行故障排除。
它抱怨说：
Failed to fetch https://deb.opera.com/opera-stable/dists/stable/InRelease Could not resolve host: deb.opera.comSome index files failed to download. They have been ignored, or old ones used instead.
我实际上可以 pingdeb.opera.com
另外，我可以导航到https://deb.opera.com/opera-stable/dists/stable/使用 opera，并且我确实看到有一个InRelease文件。
到底是怎么回事？我该如何解决这个问题？