arduino ide 2.0 改回代理的方法 arduino-

引用这个：
arduino ide2.0在设置里可以添加代理，但是如果不用代理，即是设置回去了，依旧在下载库时候会报错，这其实是aduino cli的参数里的代理设置还在，找到cli同目录下的yaml文件，删掉代理部分

arduino ide2.0下改回代理的方法 - kyo413 - 博客园 (cnblogs.com)

用everything找了下，windows 10是在主目录下的 .arduino下的arduino-cli.yaml
直接用vs code打开它，把 network那一段删除，重启动ide就正常了

前面死活设置不生效，重新也没用
解决