这一步经常出错,而且只能看运气了!
最经常用也是最有效的解决方法
#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
189.199.109.133 raw.githubusercontent.com
#保存后退出再尝试
之后再试sudo rosdep init就可以了
参考链接:
IP查询网址
方法链接:https://blog.youkuaiyun.com/u013468614/article/details/102917569
这一步经常出错,而且只能看运气了!
最经常用也是最有效的解决方法
#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
189.199.109.133 raw.githubusercontent.com
#保存后退出再尝试
之后再试sudo rosdep init就可以了
参考链接:
IP查询网址
方法链接:https://blog.youkuaiyun.com/u013468614/article/details/102917569