Arduino IDE 添加 ESP32

[ESP32 Arduino Core 文档](https://docs.espressif.com/projects/arduino-esp32/en/latest/index.html)
[Arduino-ESP32_GitHub](https://github.com/espressif/arduino-esp32/)
[Arduino IDE 离线添加开发板](https://blog.csdn.net/qq_21049619/article/details/122935550)

## 在线安装
Arduino IDE——文件——首选项——`附加开发板管理器网址` 中进行添加拓展开发板的链接
ESP32 开发板：
```bash
# 会在 GitHub 上进行下载，所以需要魔法才可以
# ESPRESSIF 稳定版
https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
# ESPRESSIF 开发版
https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_dev_index.json
```

添加后在 工具——开发板——开发板管理器——从中搜索 ESP32，进行安装

## 离线安装
即便有魔法很多时候在线安装也是无法正常安装的，这时候就需要离线安装了
> 对于怕麻烦的，或是没有魔法的在 `...\共享盘\Mixly\Arduino 拓展开发板\ESP32` 中我会放一些我已下载好的包
> 但不会经常更新，所以如果想要最新的，还是需要使用魔法自行下载

`需要魔法`，当然也有不需要的方式，只给个提示，不做详细解释 [ghproxy 加速](https://ghproxy.com/)、[99988866 加速](https://gh.api.99988866.xyz/)
1. 下载最新 `package_esp32_index.json` 文件
	[GitHub](https://github.com/espressif/arduino-esp32/releases)，找到最新版，下载 package_esp32_index.json
2. 添加到 Arduino IDE
	可以通过 IDE——文件——首选项——下方有配置文件位置，点击可以快速打开对应文件夹——把刚下载的文件放置到这个位置
	> 如果在 Arduino IDE 所在的根目录下创建 `portable` 文件夹，所有的配置和额外添加的库开发板都会以这个文件夹作为存储，可以随 IDE 一起复制到其他电脑
3. 正常打开 IDE ，添加 ESP32 开发板，以获得该环境所缺包
	* 在安装开发板的时候如果失败，会出现提示下载链接出错，这个链接就是所需包下载链接
	* 如果正常下载，可以等待下载完成，可以在配置文件夹 `...\portable\staging\packages` 中查看当前正在下载的包名(体积一点点变大的就是)
	拿到名称，去 `package_esp32_index.json` 文件中搜索 名称，然后所对应的 `url` 就是该包实际的下载地址
4. 下载的包放置到对应文件夹
	拿到下载地址，使用魔法进行下载，下载后放置到 `...\portable\staging\packages` 下
5. 重复 3-4 步骤，直至所有包都下载并成功安装
	> 如果使用共享中提供的包，直接把提供的放置到 IDE配置目录 下
	> 然后安装对应添加的版本即可