参考资料:
rosdep init 或者rosdep update 连接错误的解决办法
sudo rosdep init报错的解决方式
ROS入门21讲 · 古月(含考试证书及新增彩蛋2讲)
1. 问题描述
系统为Ubuntu18.04。在运行rosdep init
以及rosdep update
时均报连接错误,从错误信息中可以看出,是无法访问某网址,应该是被墙了。
2. 解决方法
如果提示的是 ERROR: unable to process source https://raw.githubusercontent.com/ros/rosdistro/master/rosdep/xxxxx 之类的错误,同时保证自己机器可以上百度的前提下,此时可能是因为raw.githubusercontent.com网站被墙了。
解决办法是修改hosts文件,添加这个网站的ip地址。
首先输入命令sudo gedit /etc/hosts
打开hosts文件。不需要在意运行命令后出现的警告,不影响操作。
然后在文件末尾添加无法访问的网址(raw.githubusercontent.com)的IP地址及其域名即可。
例如185.199.108.133 raw.githubusercontent.com
。
然后保存文件并退出文件。接着再次尝试sudo rosdep init 或者rosdep update。
3. 特殊情况
有时上述IP不能用,这里给出网上找到的几个IP地址表,都可以试一试。
151.101.84.133 raw.githubusercontent.com
151.101.76.133 raw.githubusercontent.com
151.101.84.133 raw.githubusercontent.com
185.199.108.133 raw.githubusercontent.com
185.199.109.133 raw.githubusercontent.com
185.199.110.133 raw.githubusercontent.com
185.199.111.133 raw.githubusercontent.com
140.82.113.4 github.com
185.199.111.153 assets-cdn.github.com
199.232.69.194 github.global.ssl.fastly.net
还可以尝试如下方法:
通过IPAddress.com首页或者其他域名IP查询网站,输入raw.githubusercontent.com查询到真实IP地址。
真实IP地址如下:
添加至hosts文件中即可
有时用遍了上述所有IP,还是无法连接。
或者只连接成功一个或几个网站。接下来还是失败。
这时可以考虑更换一下网络环境。
比如原来用家庭无线下载,可以切换成自己手机的热点,或者原来就是用的手机热点,可以切换一下供应商。
经多次实验,用手机热点连接成功的概率更大。
若问题还是无法解决,就不要太在意这个问题了。这个步骤没有通过也不太影响ROS的使用。