在网络环境正常的情况下,Arduino可以直接通过开发板管理器安装新的板子,但是,有时候会因为网络问题,无法下载需要的包,可以考虑手动下载全部的文件,然后离线安装。
所谓离线安装,依然要使用Arduino的开发板管理器,只是其中原本要从网络上获取的json和要下载的各个zip文件预先从别处下载,然后放到相应的目录中即可。
本文使用的Arduino集成环境版本为1.8.19,相关的文件都在文档目录下,注意把用户名替换了
C:\Users\YourUserName\AppData\Local\Arduino15
ESP32的开发板的json的附加开发板URL是
https://espressif.github.io/arduino-esp32/package_esp32_index.json
把这个在首选项设置对话框中填上
这个地址如果不能正确连接的话,打开开发板管理器时输出窗口会提示无法下载这个文件,从别处下载后放到C:\Users\YourUserName\AppData\Local\Arduino15路径中即可
再打开开发板管理器时,搜索ESP32,就会显示根据这个json文件得到的开发版信息,我写这篇文章时最新版本是2.0.14。