From bc591dcedf45b80f70661f33c42c68dbd581e901 Mon Sep 17 00:00:00 2001 From: jdlugosz963 Date: Mon, 11 Aug 2025 17:36:57 +0200 Subject: Migrate to RDE --- files/.bin/arduino-cli | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 files/.bin/arduino-cli (limited to 'files/.bin/arduino-cli') diff --git a/files/.bin/arduino-cli b/files/.bin/arduino-cli deleted file mode 100755 index 7c0d41a..0000000 --- a/files/.bin/arduino-cli +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) - -if [[ $(docker images | grep jd-arduino-cli | wc -l) -eq 0 ]] -then - docker build -f "$SCRIPT_DIR/jd-arduino-cli.Dockerfile" -t jd-arduino-cli . -fi - -docker run --rm --network none -it --privileged \ - -v $(pwd):/src \ - -v jd-arduino-cli-tmp:/tmp \ - -v /dev:/dev jd-arduino-cli \ - arduino-cli $@ -- cgit v1.2.3