分享Arduino环境下加速下载 第三方库或芯片包

问题描述

众所周知，由于网络的问题，导致Arduino里面的包下载速度非常慢，甚至下了非常久，最后也还是出现下载失败的情况。

有的人打开了加速器，但是也依旧是速度非常慢，为什么呢？

这是由于没有正确设置代理导致的，以下是我本人无意间发现的结果，下载速度不错：

问题解决

确保梯子打开来了以后，选择首选项

然后输入自己的IP地址，输入正确的端口号(自己没动手改过就是7890)

最后下载神速，肉眼可见的速度完成了下载！