Ardiuno IDE安装ESP32库失败的一种解决办法

网上找了很多方法都失败了，Ardiuno卸载了又安装，开发板管理地址换了无数个，翻墙软件该开也开着了，就是下载出错，经常报错Uknown啥的，总之就是安装不成功。然后尝试手动安装，又是用百度网盘下载，然后解压，然后由安装，还是失败，打开之后依然找不到ESP32的开发板。解决办法纯属乌龙，大家可以在实在不行的时候试一试。
我每次的打开界面都是之前的一个项目文件，并不是新建的项目界面，然后我就开始在这个界面下载ESP32的库，每次都以失败告终，用的开发板管理地址是官方的这个https://dl.espressif.com/dl/package_esp32_index.json

成功的这次我新建了一个新项目，然后在新建的项目里面安装ESP32的库，就直接成功了，这时候我我是开着梯子的，再有就是这次安装成功之前，我按照网上的手动安装教程走了一遍吗，虽然每一步都没问题，但是做完之后还是提示没有库。所以瞎弄了一下，没想到会成功。下面是成功的截图

大家要是实在走投无路了可以试试这种方法，欢迎反馈。