开发时下载开发板所需插件,经常出现下载慢或者下载失败,这里给出一个解决方案,下载迅速,不需要科学上网,安装任何软件。
附件:已修改完成(目前无法上传附件,有需要请留言)
- 下载所需要的json文件, 例如:
http://arduino.esp8266.com/stable/package_esp8266com_index.jsonhttps://raw.githubusercontent.com/stm32duino/BoardManagerFiles/main/package_stmicroelectronics_index.json
-
下载完成后,用文本编辑器(例如记事本)打开,替换所有以
http或者https开头的链接原 目标 http https://ghproxy.com/httphttps https://ghproxy.com/https例:
"url": "https://github.com/esp8266/Arduino/releases/download/3.1.2/esp8266-3.1.2.zip"
-->
"url": "https://ghproxy.com/https://github.com/esp8266/Arduino/releases/download/3.1.2/esp8266-3.1.2.zip"`
3. 替换完成后,保存,将保存的文件拖入浏览器内即可获取一个本地链接
4. 复制浏览器地址,然后打开Arduino IDE --> 文件(File) --> 首选项(),将刚刚复制的地址粘贴到
其他开发板管理地址中,点击确定即可。