解决方法是手动下载工具存档（可以从包索引文件中提取存档下载URL），然后将其放入开发板管理器的下载缓存中。Arduino IDE在尝试从互联网下载文件之前会先检查缓存中是否存在该文件，因此如果你手动将文件放置在该位置，就可以避免下载失败的问题。

成功下载文件后，将其复制到以下文件夹：

如果你使用的是Windows： C:\Users<用户名>\AppData\Local\Arduino15\staging\packages
（其中<用户名>是你的Windows用户名）

如果你使用的是Linux： /home/<用户名>/.arduino15/staging/packages/ （其中<用户名>是你的Linux用户名）

如果你使用的是macOS： /Users/<用户名>/Library/Arduino15/staging/packages/ （其中<用户名>是你的macOS用户名）