mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-09 04:16:38 +00:00
Update CLI config parsing (v0.7.0)
This commit is contained in:
parent
f07441a7fc
commit
84be804df0
@ -51,15 +51,15 @@ export class ArduinoCli {
|
|||||||
if (!directories) {
|
if (!directories) {
|
||||||
throw new Error(`Could not parse config. 'directories' was missing from: ${result}`);
|
throw new Error(`Could not parse config. 'directories' was missing from: ${result}`);
|
||||||
}
|
}
|
||||||
const { sketchbook, data } = directories;
|
const { user, data } = directories;
|
||||||
if (!sketchbook) {
|
if (!user) {
|
||||||
throw new Error(`Could not parse config. 'sketchbook' was missing from: ${result}`);
|
throw new Error(`Could not parse config. 'user' was missing from: ${result}`);
|
||||||
}
|
}
|
||||||
if (!data) {
|
if (!data) {
|
||||||
throw new Error(`Could not parse config. 'data' was missing from: ${result}`);
|
throw new Error(`Could not parse config. 'data' was missing from: ${result}`);
|
||||||
}
|
}
|
||||||
return {
|
return {
|
||||||
sketchDirUri: FileUri.create(sketchbook).toString(),
|
sketchDirUri: FileUri.create(user).toString(),
|
||||||
dataDirUri: FileUri.create(data).toString()
|
dataDirUri: FileUri.create(data).toString()
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user