众所周知,每次安装 neotic/melodic full desktop 之后, rosdep init 都需要重新设定。
我的案发屡试不爽:
1)查ip:
查这个 域名 raw.githubusercontent.com 的ip。
在这个网查的(ip是会变的,所以尽量现安装现查):
多个地点ping[raw.githubusercontent.com]服务器-网站测速-站长工具
我查到 对应这个域名有四个ip:
185.199.108.133 185.199.110.133 185.199.111.133 185.199.109.133
2)改hosts
gedit /etc/hosts
在ipv4 地址列表中加入:
185.199.108.133 raw.githubusercontent.com
hosts 修改立即生效不需重启;
之后 重新初始化: sudo rosdep init
另外,再强调一遍, 尽量用手机的热点,进行,有时公司网络或校园网可能会禁用ip, 导致初始化失败。