5 Commits

Author	SHA1	Message	Date
Akos Kitta	69ae38effa	feat: simplify board and port handling (#2165) ... Use Arduino CLI revision `38479dc` Closes #43 Closes #82 Closes #1319 Closes #1366 Closes #2143 Closes #2158 Ref: 38479dc706 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2023-08-18 14:42:50 +02:00
Akos Kitta	9a6a457bc4	chore(deps): Updated to Theia 1.39.0 (#2144) ... - update Theia to `1.39.0`, - remove the application packager and fix the security vulnerabilities, - bundle the backed application with `webpack`, and - enhance the developer docs. Co-authored-by: Akos Kitta <a.kitta@arduino.cc> Co-authored-by: per1234 <accounts@perglass.com> Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2023-08-14 12:12:05 +02:00
Akos Kitta	33ab2a6955	build: use execFileSync for npm scripts ... Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2023-05-09 17:37:24 +02:00
Akos Kitta	a39ab47e70	Use Task to build pinned CLI for IDE2. ... Closes #1313 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2022-08-11 09:28:50 +02:00
Akos Kitta	57841b3c0a	#714: Use the build cache to speed up the LS (#1107) ... * Notify the LS about the new `build_path` after verify. Closes #714 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>	2022-07-18 10:19:00 +02:00