arduino
Attempt to resume file download from point of previous failure
Describe the request
If a previous attempt at downloading a file failed, attempt to resume the download on the subsequent attempt.
Describe the current behavior
When installing a boards platform, and even some libraries, large files are downloaded. These downloads may occasionally fail due to a transient network outage.
Currently, the download of the file starts all over again when the user makes another attempt at the installation.
This is inefficient and wasteful of bandwidth. In cases where the previous download attempt failed due to an externally imposed timeout, it will result in the download only failing once again.
Arduino CLI version
Original report
Not specified
Last verified with
08ff7e2b76b7cd6394c4d09420b10cf0592b4405
Operating system
Windows
Operating system version
Windows 11
Additional context
Related
- https://github.com/arduino/arduino-cli/issues/3008
- https://github.com/arduino/arduino-cli/issues/2973
- https://forum.arduino.cc/t/cannot-install-stm32-nor-esp32-boards-to-arduino-ide-1-8-19/1405156
- https://forum.arduino.cc/t/espressif-board-manager-3-3-0-fails/1405287
- https://github.com/orgs/community/discussions/169381
- https://github.com/orgs/community/discussions/169250
- https://github.com/orgs/community/discussions/169008
Workaround
Manually download the file using a download manager that supports resuming downloads.
I watched the download until the error occurred, it looks like it wasn't a dropped connection, it must be something else.
Manual installation of Cores/Board compilers:
https://forum.arduino.cc/t/manual-installation-of-cores-board-compilers/613585