Arduino开发板下载管理失败的一种处理方法

最近在使用树莓派pico RP2040来运行一些代码，使用arduino环境，但在添加开发版后，由于国内网络原因，下载很慢，而且还有可能下载失败

开发板的库：

https://github.com/earlephilhower/arduino-pico

开发板管理器添加https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json

在开发版管理页面选中相应版本下载，会很慢很慢

其实可以手动下载后，放入相应路径:

C:\Users\ic_ma\AppData\Local\Arduino15\staging\packages

然后再开发板管理页面下载，会直跳过下载，直接添加，节省很多时间，

另外，下载我用的是IDM这个下载工具，速度比网页下载快很多，

有需要的朋友可以试试。