6 Commits

Author	SHA1	Message	Date
Francesco Stasi	49d12d99ff	IDE to run CLI with auto assigned port (#673) ... * get daemon port from CLI stdout * config-service to use CLI daemon port * updating LS * fixed tests * fix upload blocked when selectedBoard.port is undefined * bump arduino-cli to 0.20.2 Co-authored-by: Alberto Iannaccone <a.iannaccone@arduino.cc>	2021-12-09 15:08:26 +01:00
Francesco Stasi	dd76f9180c	Update Theia, CLI and LS (#610) ... * Update Theia to 1.19.0 * update CLI to 0.20.0-rc3 * Add language selector to settings * updated language server and vscode-arduino-tools * update Language Server flags * get cli port from config * force native menu on windows * pinned Language Server to rc2 * fix search icon * update CLI version	2021-11-29 15:54:13 +01:00
Akos Kitta	a99093624f	Updated to 0.15.0-rc1 CLI and 12.x snapshot clangd. ... Signed-off-by: Akos Kitta <kittaakos@typefox.io>	2021-02-03 17:44:36 +01:00
Miro Spönemann	bef9185c6c	arduino/arduino-pro-ide#31: Include clangd for linux with 'bin' and 'lib' folders	2020-01-10 11:02:23 +01:00
Miro Spönemann	f07441a7fc	Updated clangd to version 9.0.0	2020-01-06 16:25:00 +01:00
Miro Spönemann	60bf58ac0f	Added download script for arduino-language-server	2019-09-06 14:15:59 +02:00