解决ROS安装中rosdep init 和rosdep update失败的方法

实验室新进一批设备，需要配置 ubuntu 系统，安装 ROS 。
在 ROS 安装过程中，有一步：

sudo rosdep init
rosdep update

因国内服务器，无法科学上网，总是出现超时，初始化失败。
往常我们也配置过 ROS ，在这一步失败就忽略了，但同门提出过安装完某功能包无法使用，初始化失败的情况，可能是 ROS 安装时这一步未完成引起的，本次 ROS 安装决定试着解决这一问题，防止以后出现一些 “后遗症”。

网上有很多修改 hosts 文件添加连接 ip 地址，解决 rosdep update 超时问题的方法，经过多番尝试均失败收场。心情焦躁上头时，发现一篇博客修改 rosdep 源码中下载资源的函数，有了效果。现贴上链接，做一些总结。
解决ROS系统 rosdep update超时问题的新方法

---

网站https://ghproxy.com/支持 github 的资源代理，我们用此代理加速 rosdep 对Github Raw的访问，进而解决 rosdep update 超时问题。
首先定位 rosdep 资源下载函数。从报错信息中得知，该函数名为 downl