a2nr
/
velxio
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

feat: initialize arduino-cli config and install missing cores; mark subproject commits as dirty

pull/71/head
David Montero Crespo 2026-03-24 18:33:21 -03:00
parent 8f0c23c857
commit c7eeab5891
2 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
deploy/entrypoint.sh
View File

@ -1,22 +1,23 @@
#!/bin/bash #!/bin/bash
set -e set -e
# If the arduino-cli volume is empty (first deploy or after prune), # Ensure arduino-cli config and board manager URLs are set up
# re-install the base cores. This is fast (~30s) since package index is cached.
if [ ! -f /root/.arduino15/arduino-cli.yaml ]; then if [ ! -f /root/.arduino15/arduino-cli.yaml ]; then
echo "📦 Installing arduino-cli base cores into volume..." echo "📦 Initializing arduino-cli config..."
arduino-cli config init 2>/dev/null || true arduino-cli config init 2>/dev/null || true
arduino-cli config add board_manager.additional_urls \ 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 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 \ 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 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 fi
# Install missing cores. arduino-cli core install is a no-op if already present.
# ESP32 core MUST be 2.0.17 (IDF 4.4.x) — newer 3.x is incompatible with QEMU ROM bins.
arduino-cli core update-index 2>/dev/null || true
arduino-cli core install arduino:avr 2>/dev/null || true
arduino-cli core install rp2040:rp2040 2>/dev/null || true
arduino-cli core install esp32:esp32@2.0.17 2>/dev/null || true
# Start FastAPI backend in the background on port 8001 # Start FastAPI backend in the background on port 8001
echo "🚀 Starting Velxio Backend..." echo "🚀 Starting Velxio Backend..."
uvicorn app.main:app --host 127.0.0.1 --port 8001 & uvicorn app.main:app --host 127.0.0.1 --port 8001 &

3
frontend/src/data/examples.ts
View File

@ -3727,7 +3727,6 @@ void loop() {
DHT dht(DHT_PIN, DHT_TYPE); DHT dht(DHT_PIN, DHT_TYPE);
// Disable hardware Timer Group WDTs (QEMU emulation is slower than real time)
void setup() { void setup() {
Serial.begin(115200); Serial.begin(115200);
@ -3931,7 +3930,6 @@ void loop() {
Servo myServo; Servo myServo;
// Disable hardware Timer Group WDTs (QEMU emulation is slower than real time)
void setup() { void setup() {
Serial.begin(115200); Serial.begin(115200);
@ -4028,7 +4026,6 @@ void loop() {
DHT dht(DHT_PIN, DHT_TYPE); DHT dht(DHT_PIN, DHT_TYPE);
// Disable hardware Timer Group WDTs (QEMU emulation is slower than real time)
void setup() { void setup() {
Serial.begin(115200); Serial.begin(115200);