Update build-arduino.sh

This commit is contained in:
RobertoHE 2022-11-22 18:18:17 +01:00 committed by GitHub
parent 3e83235a8b
commit 27ee609c05
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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