Skip to content

Commit

Permalink
Add mirror sites for rosdep
Browse files Browse the repository at this point in the history
The discussion on mirror sites is at ros-infrastructure/rosdep#839 (comment).

Similar guide has already been added at http://wiki.ros.org/rosdep
  • Loading branch information
ZenithalHourlyRate committed Jul 7, 2022
1 parent 739d840 commit 508d972
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions source/Tutorials/Intermediate/Rosdep.rst
Original file line number Diff line number Diff line change
Expand Up @@ -120,6 +120,8 @@ Firstly, if this is the first time using ``rosdep``, it must be initialized via:
This will initialize rosdep and ``update`` will update the locally cached rosdistro index.
It is a good idea to ``update`` rosdep on occasion to get the latest index.

If you experienced network error during initialization, you may use a mirror site like `TUNA <https://mirrors.tuna.tsinghua.edu.cn/help/rosdistro/>`_ and `BFSU <https://mirrors.bfsu.edu.cn/help/rosdistro/>`_.

Finally, we can run ``rosdep install`` to install dependencies.
Typically, this is run over a workspace with many packages in a single call to install all dependencies.
A call for that would appear as the following, if in the root of the workspace with directory ``src`` containing source code.
Expand Down

0 comments on commit 508d972

Please sign in to comment.