我设置了连接互联网所需的代理，但无法 PING 到谷歌，我使用了命令“ping google.com”，但没有显示任何内容，并且在尝试从密钥服务器获取密钥以在 Ubuntu 18.04 中安装 ROS 时遇到困难，我使用了命令“sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-key 421C365BD9FF1F717815A3895523BAEEB01FA116”，它显示错误 - “gpg：密钥服务器接收失败：连接超时”，请告诉我有关错误的信息以及如何解决它。