ArduinoIDE无法直接安装ESP32库解决方案（需梯子）
问题：直接使用ArduinoIDE安装ESP32时基本都会因为网络问题无法安装
该方案实现前提：电脑上可以开启梯子
具体操作：
1.打开首选项
2.选择网络
3.开启你的代理工具，然后打开浏览器中的设置查看计算机代理（我用的chrome谷歌浏览器）
4.将这里的地址和端口号填写在ArduinoIDE的网络代理配置中并点击确定
5.这样就配置好了，然后再去开发板管理器搜索ESP点击安装就可以了
问题：直接使用ArduinoIDE安装ESP32时基本都会因为网络问题无法安装
该方案实现前提：电脑上可以开启梯子
具体操作：
1.打开首选项
2.选择网络
3.开启你的代理工具，然后打开浏览器中的设置查看计算机代理（我用的chrome谷歌浏览器）
4.将这里的地址和端口号填写在ArduinoIDE的网络代理配置中并点击确定
5.这样就配置好了，然后再去开发板管理器搜索ESP点击安装就可以了