搞了两三天之后终于把ESP8266的资料下载好了。之前也试过换代理，但是每次下载ESP8266的时候都会报下载失败。本来我用Arduino是为了省心，结果搞得我特别累心。但是不知道怎么搞得后来又下载成功了，真是扯。不过问题还是网络的问题，说不定是网络突然又抽风了吧。