由于GitHub收到DNS污染,常常会无法登陆、访问速度慢。 且GitHub的IP地址时不时会发生变化,使用ping有时又ping不通。单独查询每个IP地址又很麻烦。 故此使用python爬虫进行批量查询、保存IP、打开hosts所在位置。可以更加方便地更改hosts。