由于GitHub收到DNS污染,常常会无法登陆、访问速度慢。 可以采用网络上的一些方法,更改hosts。 但是GitHub的IP地址时不时会发生变化,使用ping有时又ping不通。单独查询每个IP地址又很麻烦。 故此使用python爬虫进行批量查询。
1.通过https://www.ipaddress.com 可以查询到一系列GitHub网址的IP。通过开发者工具可以得到IP地址在网页中的位置。

代码请看代码库中的py文件夹。
- 注:其中raw.githubusercontent.com这个网址在https://www.ipaddress.com 也无法查出IP地址,故转用https://site.ip138.com/ 。
3.当查询结束之后,程序将自动打开文件路径 C:\Windows\System32\drivers\etc 。
try:
subprocess.run("explorer.exe %s" % 'C:\Windows\System32\drivers\etc')
except:
print('请打开文件路径 C:\Windows\System32\drivers\etc 更改hosts文件')