use ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS env for setting board URLs

Links2004 · Links2004 · commit 241c73a8060c · 2024-01-05T15:06:30.000+01:00
diff --git a/travis/common.sh b/travis/common.sh
@@ -105,7 +105,8 @@ function get_sketches_json_matrix()
 }
 
 function get_core_cli() {
-    arduino-cli core update-index --additional-urls https://arduino.esp8266.com/stable/package_esp8266com_index.json,https://espressif.github.io/arduino-esp32/package_esp32_index.json,https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
+    export ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS="https://arduino.esp8266.com/stable/package_esp8266com_index.json https://espressif.github.io/arduino-esp32/package_esp32_index.json https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json"
+    arduino-cli core update-index
     arduino-cli core install esp8266:esp8266
     arduino-cli core install esp32:esp32
     arduino-cli core install arduino:mbed_rp2040

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,8 @@ function get_sketches_json_matrix()`
`105`	`105`	`}`
`106`	`106`
`107`	`107`	`function get_core_cli() {`
`108`		`- arduino-cli core update-index --additional-urls https://arduino.esp8266.com/stable/package_esp8266com_index.json,https://espressif.github.io/arduino-esp32/package_esp32_index.json,https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json`
	`108`	`+ export ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS="https://arduino.esp8266.com/stable/package_esp8266com_index.json https://espressif.github.io/arduino-esp32/package_esp32_index.json https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json"`
	`109`	`+ arduino-cli core update-index`
`109`	`110`	`arduino-cli core install esp8266:esp8266`
`110`	`111`	`arduino-cli core install esp32:esp32`
`111`	`112`	`arduino-cli core install arduino:mbed_rp2040`