u/long_onion1

can anybody tell me if it is possible to download the esp32 boards to the arduino ide, but as a tar.gz file

its because i have a pretty bad wifi connection for my computer, so it would be nice if i could download the boards without the Library Manager

reddit.com
u/long_onion1 — 7 days ago