通过代理从ARDUINO IDE直接下载开发板包

使用免费代理 实现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会自己解析。

安装

工具 -> 开发板 -> 开发板管理器
搜索需要安装的开发板
点击安装

下载和安装的时间都比较长，耐心等待。