diff --git a/arduino-ide-extension/src/node/arduino-cli.ts b/arduino-ide-extension/src/node/arduino-cli.ts index 5168c8cc..8ac19866 100644 --- a/arduino-ide-extension/src/node/arduino-cli.ts +++ b/arduino-ide-extension/src/node/arduino-cli.ts @@ -26,6 +26,11 @@ export class ArduinoCli { }); } + async getVersion(): Promise { + const execPath = await this.getExecPath(); + return cp.execFileSync(`${execPath}`, ['version']).toString().trim(); + } + async getDefaultConfig(): Promise { const command = await this.getExecPath(); return new Promise((resolve, reject) => {