推荐:方法一(新方法,推荐)#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
151.101.84.133 raw.githubusercontent.com
#保存后退出再尝试
参考链接:ROS:sudo rosdep init出错常规方法都无效后解决办法记录
链接
推荐:方法一(新方法,推荐)#打开hosts文件
sudo gedit /etc/hosts
#在文件末尾添加
151.101.84.133 raw.githubusercontent.com
#保存后退出再尝试
参考链接:ROS:sudo rosdep init出错常规方法都无效后解决办法记录
链接