From fbbf4d322ffdc1c0fbc6848b9daa43cc5363530f Mon Sep 17 00:00:00 2001 From: Zenithal Date: Thu, 7 Jul 2022 15:54:22 +0800 Subject: [PATCH] Add mirror sites for rosdep The discussion on mirror sites is at https://github.com/ros-infrastructure/rosdep/pull/839#issuecomment-1164655530. Similar to http://wiki.ros.org/rosdep --- source/Tutorials/Intermediate/Rosdep.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/source/Tutorials/Intermediate/Rosdep.rst b/source/Tutorials/Intermediate/Rosdep.rst index 814db4a1041..1ae35d7385f 100644 --- a/source/Tutorials/Intermediate/Rosdep.rst +++ b/source/Tutorials/Intermediate/Rosdep.rst @@ -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 `_ and `BFSU `_. + 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.