使用免費代理 實現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會自己解析。
安裝
工具 -> 開發板 -> 開發板管理器
搜索需要安裝的開發板
點擊安裝
下載和安裝的時間都比較長，耐心等待。
詳解)
