论 ESP32 Arduino 环境配置中的网络问题

在配置 ESP32 Arduino 环境时，得益于某些现实的网络因素，不能成功配置。

涉及网络的部分一共有两个。一是 index 文件的下载，二是依赖库的下载。只要解决这两个问题就好了。

首先，我们需要找到一个可靠的 Github 镜像站，使用它来加速 package_esp32_index.json 。然后直接在浏览器打开，保存到本地。

我们观察这个文件：

"url": "https://hub.gitmirror.com/https://github.com/espressif/arduino-esp32/releases/download/2.0.7/esptool-v4.5.1-src.tar.gz",
"archiveFileName": "esptool-v4.5.1-src.tar.gz",
"checksum": "SHA-256:aa06831a7d88d8ccde4ea21241e983a08dbdae967290e181658b0d18bffc8f86",
"size": "96922"

哇，它叫 Arduino 去 Github 下载依赖。这怎么能行？我们直接批量替换掉。然后在本地 serve。修改 Arduino 配置，把额外包源修改为localhost.

bingo，这样所有的下载都走镜像啦！啊，你问 https://dl.espressif.cn/dl/* ？实测这个网站极其快，用不着换。

至此，已经结束累。更新的时候重新来一遍就好了。

这里提供一个懒人链接，是做好的 v2.0.15 的package_esp32_index.json，使用 hub.gitmirror.com 镜像。