使用github代理加速方式加速下载

1. 获取最新版开发板管理器网址
   从乐鑫官网安装指南获取网址https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json

2. 下载package_esp32_index.json文件

打开arduino->工具->开发板管理器->搜索ESP32，选择最新版，点击安装，开始下载后可以停止并关闭Arduino

3. 点击上图所示的Arduino15文件夹，打开package_esp32_index.json，随便找一个zip包例如https:github.com/espressif/arduino-esp32/releases/download/2.0.7/esp32-2.0.7.zip

4. 打开github加速网站，粘贴上一步复制的网址，点击下载

5. 这时我们就能获得到一个github网址前缀，这个前缀可以用于加速下载

6. 给package_esp32_index.json中的所有github网址加上前缀，保存并关闭

7. 最后我们打开Arduino，重新搜索ESP32，选择合适的版本，下载，就可以享受最快的下载速度了