Updated the CLI to 0.11.0.

 - Adjusted to gRPC API change, and
 - Log the CLI commit only once when generating from protoc.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>

Author: Akos Kitta

arduino-ide-extension/scripts/download-cli.js

@@ -10,7 +10,7 @@
 
 (() => {
 
-    const DEFAULT_VERSION = '0.9.0'; // require('moment')().format('YYYYMMDD');
+    const DEFAULT_VERSION = '0.11.0'; // require('moment')().format('YYYYMMDD');
 
     const path = require('path');
     const shell = require('shelljs');

arduino-ide-extension/scripts/generate-protocol.js

@@ -39,9 +39,6 @@
     if (shell.exec(`git -C ${repository} rev-parse --abbrev-ref HEAD`).code !== 0) {
         shell.exit(1);
     }
-    if (shell.exec(`git -C ${repository} rev-parse --short HEAD`).code !== 0) {
-        shell.exit(1);
-    }
 
     const pluginExec = shell.which('grpc_tools_node_protoc_plugin');
     if (!pluginExec || pluginExec.code !== 0) {

arduino-ide-extension/src/node/boards-service-impl.ts

@@ -220,7 +220,7 @@ export class BoardsServiceImpl implements BoardsService {
             resolve(resp);
         }));
 
-        const requiredTools = resp.getRequiredToolsList().map(t => <Tool>{
+        const requiredTools = resp.getToolsdependenciesList().map(t => <Tool>{
             name: t.getName(),
             packager: t.getPackager(),
             version: t.getVersion()