这一步经常出错,而且只能看运气了!
最经常用也是最有效的解决方法
#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
189.199.109.133 raw.githubusercontent.com
#保存后退出再尝试
之后再试sudo rosdep init就可以了
参考链接:
IP查询网址
sudo rosdep init错误 ERROR: cannot download default sources list from
阅读 84
2022-08-19
这一步经常出错,而且只能看运气了!
最经常用也是最有效的解决方法
#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
189.199.109.133 raw.githubusercontent.com
#保存后退出再尝试
之后再试sudo rosdep init就可以了
参考链接:
IP查询网址
相关推荐
精彩评论(0)