From 203fb5b96124e025b1a2fc7e1f33cb0f9d4cac3d Mon Sep 17 00:00:00 2001 From: DarkCaster Date: Wed, 8 Jan 2025 19:19:32 +0300 Subject: [PATCH] Examples: ide-debian-sandbox.cfg.lua updated, add arduino_cli profiles --- Examples/ide-debian-sandbox.cfg.lua | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/Examples/ide-debian-sandbox.cfg.lua b/Examples/ide-debian-sandbox.cfg.lua index 016a3ab..48351a4 100644 --- a/Examples/ide-debian-sandbox.cfg.lua +++ b/Examples/ide-debian-sandbox.cfg.lua @@ -149,6 +149,31 @@ arduino_2_install={ exclusive=true, } +arduino_cli_install={ + exec="/bin/bash", + path="/home/sandboxer", + args={"-c", "\ + arduino_dir=\"$HOME/arduino-cli\"; \ + cd $HOME; \ + [ -d \"$arduino_dir\" ] && echo \"Removing directory $arduino_dir\" && rm -r \"$arduino_dir\"; \ + img=`find \"$HOME/installs\" -name \"arduino-cli_*_Linux*.tar.gz\"|sort -V|tail -n1` && mkdir \"$arduino_dir\" && cd \"$arduino_dir\" && ( gunzip -c \"$img\" | tar xf - ); \ + "}, + term_signal=defaults.signals.SIGTERM, + attach=true, + pty=false, + exclusive=true, +} + +arduino_cli={ + exec="/home/sandboxer/arduino-cli/arduino-cli", + path="/home/sandboxer", + args=loader.args, + term_signal=defaults.signals.SIGTERM, + attach=true, + pty=true, + exclusive=false, +} + -- android sdk manager from https://developer.android.com/studio android_studio_install={ exec="/bin/bash",