在安装ros进行rosdep update时经常会报错,有时候可以通过换网解决,但从我安装那么多次的经验来看,仅有一次换手机热点后更新成功了,其他都是失败,成功率太低。从网上搜到了很多解决办法,大多都不靠谱,仅有一个方法可以100%成功,通过修改下载源文件解决,总共5个文件,在此记录一下。
1 打开sources_list.py
sudo gedit /usr/lib/python2.7/dist-packages/rosdep2/sources_list.py
1.1 第310和311行之间添加一行
url = 'https://ghproxy.com/'+