From 27ee609c0507cc301854c8c3eb8d09c2df7a3f68 Mon Sep 17 00:00:00 2001 From: RobertoHE Date: Tue, 22 Nov 2022 18:18:17 +0100 Subject: [PATCH] Update build-arduino.sh --- ci/build-arduino.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/build-arduino.sh b/ci/build-arduino.sh index 3299012..9dd5328 100644 --- a/ci/build-arduino.sh +++ b/ci/build-arduino.sh @@ -15,7 +15,7 @@ arduino-cli config init arduino-cli config set library.enable_unsafe_install true # arduino-cli core update-index --additional-urls https://arduino.esp8266.com/stable/package_esp8266com_index.json #arduino-cli core update-index --additional-urls https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json -sed -i 's+[]+[https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json]+g' ./.arduino15/arduino-cli.yaml +sed -i 's+\[\]+\[https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json\]+g' /home/runner/.arduino15/arduino-cli.yaml arduino-cli core update-index # Install Arduino AVR core