|
|
@ -59,6 +59,7 @@ install_arduino_core() {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
run_arduino_cli() {
|
|
|
|
run_arduino_cli() {
|
|
|
|
|
|
|
|
echo "${ARDUINO_CLI}" "$@"
|
|
|
|
ARDUINO_DIRECTORIES_USER=${ARDUINO_DIRECTORIES_USER} \
|
|
|
|
ARDUINO_DIRECTORIES_USER=${ARDUINO_DIRECTORIES_USER} \
|
|
|
|
ARDUINO_DIRECTORIES_DATA=${ARDUINO_DIRECTORIES_DATA} \
|
|
|
|
ARDUINO_DIRECTORIES_DATA=${ARDUINO_DIRECTORIES_DATA} \
|
|
|
|
ARDUINO_DIRECTORIES_DOWNLOADS=${ARDUINO_DIRECTORIES_DOWNLOADS} \
|
|
|
|
ARDUINO_DIRECTORIES_DOWNLOADS=${ARDUINO_DIRECTORIES_DOWNLOADS} \
|
|
|
|