转载自:https://zhuanlan.zhihu.com/p/77483614
建议直接使用后面的新方法:
#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
151.101.84.133 raw.githubusercontent.com
#保存后退出再尝试
rosdep update
转载自:https://zhuanlan.zhihu.com/p/77483614
建议直接使用后面的新方法:
#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
151.101.84.133 raw.githubusercontent.com
#保存后退出再尝试
rosdep update