Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add mirror sites for rosdep #2842

Open
wants to merge 1 commit into
base: rolling
Choose a base branch
from

Conversation

ZenithalHourlyRate
Copy link

The discussion on mirror sites is at ros-infrastructure/rosdep#839 (comment).

Similar guide has already been added at http://wiki.ros.org/rosdep

Comment on lines 123 to 124
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/>`_.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this is a good idea to have, but I think we should do it differently.

First, let's add a new section at the bottom that is "Troubleshooting". Then I would move this sentence there, and expand it to show the errors you get if you have network errors, and also what you need to do to setup rosdep to use the mirror sites. That should be much more useful for people coming here to find out how to fix their rosdep issues.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

First, let's add a new section at the bottom that is "Troubleshooting". Then I would move this sentence there

Done. Though I added it in General section instead of the bottom.

show the errors you get if you have network errors

I added some error from ros-infrastructure/rosdep#826 and ros-infrastructure/rosdep#797; there are more examples in the issues of ros-infrastructure/rosdep.

also what you need to do to setup rosdep to use the mirror sites

That has been done inside the link, though in Chinese. Typically Chinese users would experience this error.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants