记录一下
最终通过以下博客解决
https://blog.csdn.net/c417469898/article/details/106360595/?utm_medium=distribute.pc_relevant.none-task-blog-baidujs_title-0&spm=1001.2101.3001.4242
解决办法:
sudo gedit /etc/resolv.conf
1
将原有的nameserver这一行注释,并添加以下两行:
nameserver 8.8.8.8 #google域名服务器
nameserver 8.8.4.4 #google域名服务器
保存退出,执行
sudo apt-get update
rosdep update
另外关于改hosts
在里面挑一个IP(有美国,日本,中国香港等等),和raw.githubusercontent.com组成
151.101.76.133 raw.githubusercontent.com
1
并且把这一句加入到/etc/hosts里的第二行下面,也就是127.0.1.1 stm这一句的下面。
/etc/hosts使用如下命令打开
sudo gedit /etc/hosts
主要是找到raw.githubusercontent.com的IP,然后在hosts中添加
在成功的尝试中这一项也更改了
199.232.28.133 raw.githubuserco
185.199.109.133 raw.githubusercontent.com
151.101.76.133 raw.githubusercontent.com
185.199.111.133 raw.githubusercontent.com
185.199.110.133 raw.githubusercontent.com
185.199.108.133 raw.githubusercontent.com
151.101.84.133 raw.githubusercontent.com
#151.101.76.133 raw.githubusercontent.com
185.199.109.133 raw.githubusercontent.com(最新查出来的IP)
剩下的就是换网,换源
换网是更换wifi或者热点
换源就是在软件和更新中更换源