2024-11-25 11:07:19 Arduino IDE 搭建 esp32 开发环境 `Arduino IDE`搭建`esp32开发环境`的过程中，官方的开发板管理器地址访问总是很慢，这里介绍了一种新的思路。