Closed as not planned
Closed as not planned
Description
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
- Install arduino-cli v1.0.0.
- Use the example:
export ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS="https://downloads.arduino.cc/packages/package_staging_index.json https://downloads.arduino.cc/packages/package_mbed_index.json"
- Run:
arduino-cli core update-index
Expected behavior
I expect it to load both package indexes. Instead, I get:
Downloading index: package_index.tar.bz2 downloaded
Downloading index: package_mbed_index.json Server responded with: 404 Not Found
Some indexes could not be updated.
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:
INFO[0000] arduino-cli version 1.0.0
INFO[0000] Using config file: /home/egnor/source/repro_arduino_cli_2616/arduino_data/arduino-cli.yaml
INFO[0000] Executing `arduino-cli core update-index`
INFO[0000] Checking signature index=/home/egnor/source/repro_arduino_cli_2616/arduino_data/package_index.json signatureFile=/home/egnor/source/repro_arduino_cli_2616/arduino_data/package_index.json.sig trusted=true
INFO[0000] Checking signature index=/home/egnor/source/repro_arduino_cli_2616/arduino_data/package_mbed_index.json signatureFile=/home/egnor/source/repro_arduino_cli_2616/arduino_data/package_mbed_index.json.sig trusted=true
INFO[0000] Loading hardware from: /home/egnor/source/repro_arduino_cli_2616/arduino_data/packages
INFO[0000] Loading package builtin from: /home/egnor/source/repro_arduino_cli_2616/arduino_data/packages/builtin
INFO[0000] Checking existence of 'tools' path: /home/egnor/source/repro_arduino_cli_2616/arduino_data/packages/builtin/tools
INFO[0000] Loading tools from dir: /home/egnor/source/repro_arduino_cli_2616/arduino_data/packages/builtin/tools
INFO[0000] Loaded tool tool="builtin:[email protected]"
INFO[0000] Loaded tool tool="builtin:[email protected]"
INFO[0000] Loaded tool tool="builtin:[email protected]"
INFO[0000] Loaded tool tool="builtin:[email protected]"
INFO[0000] Loaded tool tool="builtin:[email protected]"
INFO[0000] Loading libraries index file index=/home/egnor/source/repro_arduino_cli_2616/arduino_data/library_index.json
INFO[0000] Adding libraries dir dir=/home/egnor/Arduino/libraries isSingleLibrary=false location=user
INFO[0000] Updating index url="https://downloads.arduino.cc/packages/package_index.tar.bz2"
INFO[0000] Starting download url="https://downloads.arduino.cc/packages/package_index.tar.bz2"
Downloading index: package_index.tar.bz2 downloaded
INFO[0000] Updating index url="https://downloads.arduino.cc/packages/package_staging_index.json%20https://downloads.arduino.cc/packages/package_mbed_index.json"
INFO[0000] Starting download url="https://downloads.arduino.cc/packages/package_staging_index.json%20https://downloads.arduino.cc/packages/package_mbed_index.json"
Downloading index: package_mbed_index.json Server responded with: 404 Not Found
Some indexes could not be updated.
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
- I searched for previous reports in the issue tracker
- I verified the problem still occurs when using the nightly build
- My report contains all necessary details