I'm trying to set up a development environment for an ESP32S3 board but I'm regularly hitting errors like this one:
$ arduino-cli core install esp32:esp32
Downloading packages...
arduino:dfu-util@0.11.0-arduino5 arduino:dfu-util@0.11.0-arduino5 already downloaded
esp32:esp-rv32@2411 context deadline exceeded (Client.Timeout or context cancellation while reading body)
Error during install: context deadline exceeded (Client.Timeout or context cancellation while reading body)
This happens whenever a particularly large downloaded is needed. I understand that the problem is most likely due to a slow internet connection, but I can't change that. Is there any way to increase the timeout used by arduino-cli to allow the larger downloads to complete?