jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-13 20:29:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix typos in log messages

Browse Source 
Several of the log messages contained minor typos.
This commit is contained in:
per1234
2022-08-20 19:42:51 -07:00
parent 1281ad1932
commit 3ec62642dd
5 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/node/core-client-provider.ts
View File

@@ -144,7 +144,7 @@ export class CoreClientProvider {
await this.updateIndexes(client); // TODO: this should run without the 3rd party URLs
await this.initInstance(client);
console.info(
`Downloaded the primary packages indexes, and successfully initialized the core gRPC client.`
`Downloaded the primary package indexes, and successfully initialized the core gRPC client.`
);
} else {
console.error(

2
arduino-ide-extension/src/node/core-service-impl.ts
View File

@@ -63,7 +63,7 @@ export class CoreServiceImpl extends CoreClientAware implements CoreService {
} else {
if (!!buildPath && currentBuildPath !== buildPath) {
throw new Error(
`The CLI has already provided a build path: <${buildPath}>, and IDE2 received a new build path value: <${currentBuildPath}>.`
`The CLI has already provided a build path: <${buildPath}>, and IDE received a new build path value: <${currentBuildPath}>.`
);
}
}