Start to be able to use the system arduino cli

tmp/arduino-cli-pre-rebase
Jesse Vincent 4 years ago
parent 0b99c52178
commit 912118e3c1
No known key found for this signature in database
GPG Key ID: CC228463465E40BC

@ -683,7 +683,18 @@ fi
# shellcheck disable=SC2034 # shellcheck disable=SC2034
: "${KALEIDOSCOPE_BIN_DIR:=${KALEIDOSCOPE_DIR}/bin/}" : "${KALEIDOSCOPE_BIN_DIR:=${KALEIDOSCOPE_DIR}/bin/}"
SYSTEM_ARDUINO_CLI="$(which arduino-cli || true )"
if [ "x${SYSTEM_ARDUINO_CLI}" == "x" ]; then
$VERBOSE && echo "Using our own arduino-cli"
: "${ARDUINO_CLI:=${KALEIDOSCOPE_BIN_DIR}/arduino-cli}" : "${ARDUINO_CLI:=${KALEIDOSCOPE_BIN_DIR}/arduino-cli}"
else
$VERBOSE && echo "Using system arduino-cli from ${SYSTEM_ARDUINO_CLI}"
: "${ARDUINO_CLI:=${SYSTEM_ARDUINO_CLI}}"
fi
: "${ARDUINO_CONTENT:=${KALEIDOSCOPE_DIR}/.arduino}" : "${ARDUINO_CONTENT:=${KALEIDOSCOPE_DIR}/.arduino}"
: "${ARDUINO_DIRECTORIES_DATA:=${ARDUINO_CONTENT}/data}" : "${ARDUINO_DIRECTORIES_DATA:=${ARDUINO_CONTENT}/data}"

Loading…
Cancel
Save