问题

问题是，在中国国内的网络环境中，下载或更新Arduino开发板通常速度很慢，而且很容易失败。为了帮助大家解决这个问题，我分享了我的经验，提供了一种有效的加速下载的方案。此种方法也同样适用于Vscode的Arduino插件

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

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

• 打开arduino->工具->开发板管理器->搜索ESP32，选择最新版，点击安装，开始下载后可以停止并关闭Arduino
• 点击上图所示的Arduino15文件夹，打开package_esp32_index.json，随便找一个zip包例如https:github.com/espressif/arduino-esp32/releases/download/2.0.7/esp32-2.0.7.zip
• 打开github加速网站，粘贴上一步复制的网址，点击下载
  
• 这时我们就能获得到一个github网址前缀，这个前缀可以用于加速下载
  
• 给package_esp32_index.json中的所有github网址加上前缀，保存并关闭
  
• 最后我们打开Arduino，重新搜索ESP32，选择合适的版本，下载，就可以享受最快的下载速度了