Arduino开发板管理器搜不到ESP32

如果原先通过非开发板管理器的方式安装过ESP32 Arduino的包，然后想升级成最新版本，即便添加了相关地址，也是无法在Arduino软件内搜到相关资源的。

而这段时间，Arduino官方用ESP32-S3做了一个官方的板子，因此也为ESP32给了官方的资源，也就是下面这个，并且也只能搜到这个。注意看，这个包是by Arduino的，里面只有一个开发板，就是Arduino Nano ESP32，并不支持ESP32C3之类的板子。

所以，如果已经通过手动安装之类的方式安装过ESP32的Arduino包而又想更新的，只能继续通过原来的安装方式去进行覆盖更新。当然也可以直接删除掉那个包，然后在Arduino里面添加地址后，重新搜索，就可以搜到乐鑫的包了。如下图，第一个仍然是Arduino官方的，而第二个是乐鑫官方的，前者是后者的阉割版。