正文

前言

最近想用 Arduino 玩 ESP32 开发板，结果在安装开发板支持包时遇到了 Error: 13 INTERNAL 的下载失败问题。折腾了一下午，终于找到了完美的解决方案——使用国内镜像源。

遇到的问题

在 Arduino IDE 的开发板管理器中安装 ESP32 支持包时，总是提示下载失败：

Failed to install platform: 'esp32:esp32:3.1.1'.
Error: 13 INTERNAL: Download failed: performing HEAD request

这是因为默认的下载地址在国外，网络不稳定导致的。

解决方案：添加国内镜像源

步骤 1：打开首选项

打开 Arduino IDE，点击菜单栏的 文件 → 首选项（Windows 用户按 Ctrl + , 也可以）

步骤 2：添加附加开发板管理器地址

在“附加开发板管理器网址”中，粘贴以下地址：

https://jihulab.com/esp-mirror/espressif/arduino-esp32/-/raw/gh-pages/package_esp32_index_cn.json

这个镜像源由 极狐 GitLab 提供，是国内可快速访问的 ESP32 镜像。

步骤 3：打开开发板管理器

点击 工具 → 开发板 → 开发板管理器

步骤 4：搜索并安装 ESP32

在搜索框中输入 esp32，找到 esp32 by Espressif Systems

⚠️ 注意：下拉列表中会有多个选项，选择带有 -cn 后缀的版本，这是针对国内网络优化的版本。

点击 安装，等待下载完成即可。

完整流程总结

1. 文件 → 首选项
2. 添加镜像地址：https://jihulab.com/esp-mirror/espressif/arduino-esp32/-/raw/gh-pages/package_esp32_index_cn.json
3. 工具 → 开发板 → 开发板管理器
4. 搜索 "esp32"
5. 选择带 "-cn" 的版本 → 安装
6. 完成！