网上有在/etc/hosts中添加ip地址的方法,使用了不成功,具体做法如下,仅供参考:
a.打开查询ip的网址:
https://site.ip138.com
b.输入:
raw.githubusercontent.com

c.执行sudo vi /etc/hosts
将获取到的ip添加到该文件下即可

采用了一下方法顺利解决了
1. sudo rosdep init失败问题
1.1 在本地创建rosdep init会生成的文件
sudo mkdir -p /etc/ros/rosdep/sources.list.d
cd /etc/ros/rosdep/sources.list.d
sudo vim 20-default.list
1.2 将一下内容复制到20-default.list中
# os-specific listings first
yaml https://raw.githubusercontent.com/ros/rosdistro/master/rosdep/osx-homebrew.yaml osx
# generic
yaml https://raw.githubusercontent.com/ros/rosdistro/master/ros

文章讲述了如何在遇到ROS包管理工具rosdep更新时从国外服务器超时的问题,通过在Python脚本中添加GitHub代理URL,解决了rosdep依赖下载问题,包括修改sources_list.py、__init__.py等文件中的源URL。
1361

被折叠的 条评论
为什么被折叠?



