ESP32在arduino环境下的离线安装 -- 理论上多个版本都有效

arduino的环境如图

在首选项配置arduino开发板的地址
https://dl.espressif.com/dl/package_esp32_index.json
https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json

方法1 (无需任何查找,一步一步执行)

在开发板管理界面搜索ESP32 根据自己需要点击安装

这时候,arduino会自动下载,一般没有科学上网,下载会报错,这时候关闭arduino

复制框选内容,科学上网,点击这个地址,既可快速下载安装包
下载安装包后,把安装包复制到C:\Users\ 你的用户名 \AppData\Local\Arduino15\staging\packages地址
然后再打开arduino,继续安装,你就发现,这个安装包已经被识别到
再然后继续下载其他的安装包

方法2 (需要根据json内容下载)

打开C:\Users\ 你的用户名 \AppData\Local\Arduino15\package_esp32_index.json这个文件
这个文件包含了所有版本的esp32开发板下载目录

1.搜索"platforms":关键字 找到最新的版本,下载对应的esp32包

2.需要下载指定版本的"toolsDependencies":目录中的所有包

3.例如第一个esp32-arduino-libs包
a.查找esp32-arduino-libs关键字
b.在"tools"下,找到对应的包以及版本, 在根据自己电脑类型(“host”)来下载指定版本的包(一般windows下载"x86_64-mingw32"版本既可)
c.包的地址为"url",找到后科学上网下载到C:\Users\ 你的用户名 \AppData\Local\Arduino15\staging\packages地址既可