代码收藏家 在Arduino IDE中快速搭建ESP32环境：解决JSON下载失败及下载速度慢的问题
正常情况下需要在arduino IDE上搭建ESP32环境的操作是:
一、在设置中的"附加开发管理器网址"中加入JSON文件的网址，比如当前最新版本的Arduino ESP32 Version 2.0.4的JSON的地址为:
https://github.com/espressif/arduino-esp32/releases/download/2.0.4/package_esp32_index.json
这个网址可以在项目:https://github.com/espressif/arduino-esp32里找到,如图的最新稳定版本
找到
可以直接右键复制该链接
二、选择工具=》开发板=》开发板管理器，在搜索框中输入ESP32，找到对应的包点击安装就可以了。
但是，当IDE在下载"附加开发管理器网址"中设置的网址下载对应的JSON文件时，由于这个文件来源大多是github的服务器，下载大多数情况下会失败，就算该文件下载成功，在后续下载包的过程也大多是缓慢或失败。就算用下载工具去直接下载安装包，再用离线的方式安装，但是如果因为版本更新，有可以造成下载的包不一定是最新或错误的包。同时下载包的过程也是比较漫长的。
所以，最好的办法还是使用github.com的镜像站来加速下载。
一、首先，用搜索引擎找到一个好用的镜像站，当然了，搜索到的镜像站质量参差不齐。这里提供一些当前还能用的，如果质量不满意只能自已去搜索一些质量比较好的镜像了
二、把之前的JSON文件地址改为镜像地址：
https://github.com/espressif/arduino-esp32/releases/download/2.0.4/package_esp32_index.json
改为
https://hub.0z.gs/espressif/arduino-esp32/releases/download/2.0.4/package_esp32_index.json
正常来说原地址和镜像地址的主域名会有区别，后面的路径是一样的。这个时候，如果镜像地址没有问题，就可以正常下载到JSON文件。
三、但是下载到这个文件，并不代表就能正常下载包文件了，因为JSON文件的内容是保存了所有包的地址，里面的地址并非为镜像地址。所以还要对这个已经下载的JSON文件进行修改。因为每次使用开发板管理器时会重新下载这个JSON文件，会造成改动过的JSON文件被覆盖，所以以下的操作比较重要，首先，打开开发板管理器，如果IDE里没有出现下载错误的提示，同时可以搜索到由Espressif Systems用户开发的ESP32开发环境，如图:
此时，不要点击安装，也不要关闭"开发板管理器"，找到下载的JSON文件进行修改。
这个文件在WIN10系统下会被下载到:C:\Users\Administrator\AppData\Local\Arduino15文件夹，如果系统不同，路径也会不同，这时可以打开 文件=》首选项 ，点击如图所示的路径
用记事本或其它文本编辑工具打开该JSON文件(注意并非打开图中所指的文件)，把里面的网址用替换功能把地址内容:https://github.com全部替换为镜像地址如:https://hub.0z.gs
替换完成后保存一下，回到还未关闭的"开发板管理器"，点击安装，如果镜像地址没问题，就能快速地安装好ESP32环境。如果下载还是过于缓慢，可以试着另外找一个质量比较好的镜像地址。
