Arduino IDE开发板管理器更新失败的离线解决方案

在ArduinoIDE里配置ESP32开发环境最简单的办法就是在开发板管理器里添加链接稳定版/开发版但是通过ArduinoIDE更新一直不太稳定，经常会碰到下面这种报错情况，为此我也是花费了一定的精力去查找解决方案,现在终于找到了。    
     

   面对这种情况只能手动操作一下了，下面讲一下具体步骤
   1.注意红色字体，提示是从github下载的，因此我们需要到github下载这个安装包，这个地址其实就是乐鑫esp32-arduino的地址，你可以直接抄下来下载，也可以打开浏览器进入https://github.com/espressif/arduino-esp32，顺便看看有什么更新。
     
    页面里这个标题就是最新安装包的地址
    把它下载好基本完成了一半，其实在安装过程中一共需要四个压缩包，这是其中之一。（其实需要的文件根据报错提示去github上搜索都能找到）
    给大家提供一个已经打包好的文件链接ESP32离线环境配置MAC版，Windows版离线配置将压缩包下载下来后解压出四个压缩包，先不要动。
    在电脑上找到Arduino15这个文件夹，这个文件夹路径是C:\Users\你的用户名\AppData\Local\Arduino15，在这个文件夹下有个staging，继续打开，有个packages，如果之前你安装过旧版本，你可以看到四个文件，如果你是新用户那么这个文件夹内是空的。
     
    把四个文件都放到packages里，进行下一步。打开ArduinoIDE,在首选项里选择网络，人工代理，注意安装过程你要断网进行操作（拔掉网线或者WIFI）
    
   做这一步的目的就是让ArduinoIDE自动从本地加载安装包。打开开发板管理器搜索ESP32进行安装  
     

可以看到速度非常快，安装好以后就可以把网络再改回去了，到此就安装/更新成功了。