echo "Removing $HOME/Library/Application Support/arduino-ide..." if [ -d "$HOME/Library/Application Support/arduino-ide" ]; then rm -rf "$HOME/Library/Application ...

APP_BIN="${BUILD_DIR}/${SKETCH_NAME}.ino.bin" BOOT_BIN="${BUILD_DIR}/${SKETCH_NAME}.ino.bootloader.bin" PART_BIN="${BUILD_DIR}/${SKETCH_NAME}.ino.partitions.bin" ...