安装第三方硬件支持

散吧散吧

大家好，为了安装一个arduino的硬件支持包，但是失败了
下面是github上的安装说明：

Automatic IDE integration is supported via the Arduino Boards Manager. This is the recommanded way of installation now.

Start the Arduino-IDE. In File->Preferences, Settings tab, enter

https://raw.githubusercontent.com/DeqingSun/ch55xduino/ch55xduino/package_ch55xduino_mcs51_index.json

as an Additional Boards Manager URL.

• Open Tools->Board:...->Boards Manager
• Find Ch55xduino by typing 'ch' into the search line
• Click on the list entry
• Click on Install.
  

我按照上面操作之后在boards Manager中找不到添加的包

目前已经做了检查工作：
1.浏览器可以打开json，OK可以排除是网络的问题
2.我为了排除是json文件路径的问题，又找了其他的第三方包，也是不行，同样的问题
4.防止缓存文件干扰，我将C:\Users\用户名\AppData\Local\Arduino15 下除了preferences.txt之外文件清理之后，再一次尝试还是不行
5.考虑可能是网路问题，因此使用全局代理，并且清除缓存文件，还是不行。
6.查看缓存文件夹中的application.log发现其中没有下载我们配置的json文件的记录，感觉这一块压根就没执行。

操作系统是windows10 ltsc版本 64bit  arduino的版本是最新的1.8.13 （使用1.8.0问题一样存在）
请教下各位这种情况如何调查排查解决问题，因为现在是ide不提示任何错误，但是对应包就是找不到

arduino_wgt

这时因为国内的长城又升级了，阻止了国内网络的访问。
郭嘉鸵鸟思维严重，以为把头埋进土堆里就没事了，屁股还撅的老高。
有哪位坛友有好的方法用arduino ide导入第三方板子吗？现在的网络搞的越来越封闭了。。。