Changing GitHub Host
Issue
Error: curl: (7) Failed to connect to raw.githubusercontent.com port 443: Connection refused
Cause
DNS contamination in China.
Solution
Add the following entries to your local host file:
199.232.68.133 raw.githubusercontent.com
199.232.68.133 user-images.githubusercontent.com
199.232.68.133 avatars2.githubusercontent.com
199.232.68.133 avatars1.githubusercontent.com
Host file paths:
- Windows:
C:\Windows\System32\drivers\etc
- Linux:
/etc/hosts
Here are steps for Linux:
- Open a terminal.
- Enter the command:
vi /etc/hosts
- Press
A
to switch to edit mode. - Add the above host directives at the end.
- Press
Esc
to exit edit mode, then type:wq
to save and exit.
Extension
To find the IP of a domain, you can use IPAddress.
References and Acknowledgments
Article by: Power Lin Original Source: https://wiki-power.com Copyright Notice: This article is licensed under CC BY-NC-SA 4.0. Please provide attribution when reposting.
This post is translated using ChatGPT, please feedback if any omissions.