关于rosdep update访问超时问题的解决方案:

通过使用代理加速rosdep对github Raw的访问.

  1. 修改下载rosdep数据函数
    sudo vi /usr/lib/python3/dist-packages/rosdep2/sources_list.py
    
    定位函数:/download_rosdep_data
    添加代码:
    url="https://ghproxy.com/"+url
    
  2. 修改常量DEFAULT_INDEX_URL
    sudo vi /usr/lib/python3/dist-packages/rosdistro/__init__.py
    
    修改代码:
    DEFAULT_INDEX_URL='https://ghproxy.com/https://raw.githubusercontent.com/ros/rosdistro/master/index-v4.yaml'
    
  3. 修改下列文件,为github地址添加代理前缀
    #!36行
    sudo vi /usr/lib/python3/dist-packages/rosdep2/gbpdistro_support.py
    #!72行
    sudo vi /usr/lib/python3/dist-packages/rosdep2/sources_list.py
    #!39行
    sudo vi /usr/lib/python3/dist-packages/rosdep2/rep3.py
    #!68行 119行
    sudo vi /usr/lib/python3/dist-packages/rosdistro/manifest_provider/github.py