一个关于ESP32离线安装的问题

guiyn

各位大佬 求教一下。我用论坛中esp32 离线安装当时成功的【工具选项，开发板列表中有ESP32选项】。然后用vscode 打开workspace 后没问题【但是编译上传失败】。
但再用arduino ide打开后 就看不到esp32开发板的选项了。【工具选项，开发板列表中没有ESP32选项】。VScode 依旧编译上传失败。 删除对应 ESP32 目录【Arduino15/packages】。重新安装 后依旧工具选项中没有ESP32 选项。这个问题不知道如何解决。还请明白的大佬指路。