From dbf6bd986f0a40e170d9b86cc55ecc4b0f5135f7 Mon Sep 17 00:00:00 2001 From: David Montero Crespo Date: Tue, 24 Mar 2026 18:06:19 -0300 Subject: [PATCH] feat: update entrypoint.sh to install arduino-cli base cores; mark subproject commits as dirty --- deploy/entrypoint.sh | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/deploy/entrypoint.sh b/deploy/entrypoint.sh index 25afb78..3c5f6c4 100644 --- a/deploy/entrypoint.sh +++ b/deploy/entrypoint.sh @@ -1,13 +1,20 @@ #!/bin/bash set -e -# Seed arduino-cli data into the mounted volume if it's empty -# (first deploy or after volume prune). The base cores (avr, rp2040, esp32) -# were installed at build time and saved to /root/.arduino15-base. +# If the arduino-cli volume is empty (first deploy or after prune), +# re-install the base cores. This is fast (~30s) since package index is cached. if [ ! -f /root/.arduino15/arduino-cli.yaml ]; then - echo "📦 Seeding arduino-cli cores into volume..." - cp -a /root/.arduino15-base/* /root/.arduino15/ 2>/dev/null || \ - cp -a /root/.arduino15-base/. /root/.arduino15/ + echo "📦 Installing arduino-cli base cores into volume..." + arduino-cli config init 2>/dev/null || true + arduino-cli config add board_manager.additional_urls \ + https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json 2>/dev/null || true + arduino-cli config add board_manager.additional_urls \ + https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json 2>/dev/null || true + arduino-cli core update-index + arduino-cli core install arduino:avr + arduino-cli core install rp2040:rp2040 + arduino-cli core install esp32:esp32 + echo "✅ Base cores installed" fi # Start FastAPI backend in the background on port 8001