diff options
Diffstat (limited to 'files/.bin/arduino-cli')
| -rwxr-xr-x | files/.bin/arduino-cli | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/files/.bin/arduino-cli b/files/.bin/arduino-cli new file mode 100755 index 0000000..7c0d41a --- /dev/null +++ b/files/.bin/arduino-cli | |||
| @@ -0,0 +1,14 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | |||
| 3 | SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd ) | ||
| 4 | |||
| 5 | if [[ $(docker images | grep jd-arduino-cli | wc -l) -eq 0 ]] | ||
| 6 | then | ||
| 7 | docker build -f "$SCRIPT_DIR/jd-arduino-cli.Dockerfile" -t jd-arduino-cli . | ||
| 8 | fi | ||
| 9 | |||
| 10 | docker run --rm --network none -it --privileged \ | ||
| 11 | -v $(pwd):/src \ | ||
| 12 | -v jd-arduino-cli-tmp:/tmp \ | ||
| 13 | -v /dev:/dev jd-arduino-cli \ | ||
| 14 | arduino-cli $@ | ||
