install arduino-cli instead Arduino IDE (#8961)

Co-authored-by: Lucas Saavedra Vaz <lucas.vaz@espressif.com>
This commit is contained in:
Jan Procházka 2023-12-05 17:54:35 +01:00 committed by GitHub
parent c005319c0a
commit 8520725eb7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -46,7 +46,8 @@ while [ ! -z "$1" ]; do
shift
done
source ${SCRIPTS_DIR}/install-arduino-ide.sh
#source ${SCRIPTS_DIR}/install-arduino-ide.sh
source ${SCRIPTS_DIR}/install-arduino-cli.sh
source ${SCRIPTS_DIR}/install-arduino-core-esp32.sh
args="-ai $ARDUINO_IDE_PATH -au $ARDUINO_USR_PATH"