Hi @chrisdavenport. Yes, the timeout is configurable, so in cases like this where the default timeout of 60 s is insufficient, you should be able to work around the problem by configuring a higher timeout value.
You can do that by running the following command to increase the timeout to 600 s:
arduino-cli config set network.connection_timeout 600s
(feel free to adjust the last argument in the command line to whatever timeout value you think is appropriate for your situation)
References:
- https://arduino.github.io/arduino-cli/dev/configuration/#:~:text=the%20proxy%20server.-,connection_timeout,--%20network%20connection%20timeout
- https://arduino.github.io/arduino-cli/latest/commands/arduino-cli_config_set/
It might make sense for the Arduino CLI developers to increase the default value, as was suggested here:
https://github.com/arduino/arduino-cli/issues/2899#issuecomment-2834199190