使用免费代理 实现ARDUINO IDE2.3.2 下载ESP8266/ESP32包
免费代理
列表
测试代理是否可用的
网站
有时，代理是可用的，但依然有可能找不到开发板管理器的资料包。
可以多换几个代理试试。
代理的配置
文件 -> 首选项 -> 网络 进入后做如下配置
输入代理IP和端口即可。
开发板地址配置
文件 -> 首选项 -> 其它开发板管理地址 进入后做如下配置
https://arduino.esp8266.com/stable/package_esp8266com_index.json
https://dl.espressif.com/dl/package_esp32_index.json
https://espressif.github.io/arduino-esp32/package_esp32_index.json
多放几个地址，IDE会自己解析。
安装
工具 -> 开发板 -> 开发板管理器
搜索需要安装的开发板
点击安装
下载和安装的时间都比较长，耐心等待。
详解)
