Closed egnor closed 3 months ago
Closing as duplicate of https://github.com/arduino/arduino-cli/issues/2643.
@egnor this bug has already been fixed: https://github.com/arduino/arduino-cli/pull/2645. The fix is available when using the latest nightly build of Arduino CLI.
You can download the nightly build from the links listed here:
https://arduino.github.io/arduino-cli/dev/installation/#nightly-builds
Oops shoulda paid more attention to the "tested on nightly" checkbox. My bad sorry!
Describe the problem
The environment variable
$ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS
is documented to allow a space-separated list of URLs, but as of v1.0.0 it does not.To reproduce
export ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS="https://downloads.arduino.cc/packages/package_staging_index.json https://downloads.arduino.cc/packages/package_mbed_index.json"
arduino-cli core update-index
Expected behavior
I expect it to load both package indexes. Instead, I get:
Arduino CLI version
1.0.0
Operating system
Linux
Operating system version
Ubuntu 24.04
Additional context
Running with
-v
, it looks like it's overescaping the value:Note the URL
https://downloads.arduino.cc/packages/package_staging_index.json%20https://downloads.arduino.cc/packages/package_mbed_index.json
which is actually both URLs combined with a%20
(URL-escaped space).Issue checklist