Skip to content

Commit f12b648

Browse files
Bikappaper1234
andauthored
Update configuration/configuration.schema.json
Co-authored-by: per1234 <[email protected]>
1 parent 99eb639 commit f12b648

File tree

1 file changed

+16
-7
lines changed

1 file changed

+16
-7
lines changed

configuration/configuration.schema.json

Lines changed: 16 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -55,13 +55,22 @@
5555
"directories": {
5656
"description": "directories used by Arduino CLI.",
5757
"properties": {
58-
"builtin.libraries": {
59-
"description": "the libraries in this directory will be available to all platforms without the need for the user to install them, but with the lowest priority over other installed libraries with the same name, it's the equivalent of the Arduino IDE's bundled libraries directory.",
60-
"type": "string"
61-
},
62-
"builtin.tools": {
63-
"description": "it's a list of directories of tools that will be available to all platforms without the need for the user to install them, it's the equivalent of the Arduino IDE 1.x bundled tools directory.",
64-
"type": "string"
58+
"builtin": {
59+
"description": "",
60+
"properties": {
61+
"libraries": {
62+
"description": "the libraries in this directory will be available to all platforms without the need for the user to install them, but with the lowest priority over other installed libraries with the same name, it's the equivalent of the Arduino IDE's bundled libraries directory.",
63+
"type": "string"
64+
},
65+
"tools": {
66+
"description": "it's a list of directories of tools that will be available to all platforms without the need for the user to install them, it's the equivalent of the Arduino IDE 1.x bundled tools directory.",
67+
"type": "array",
68+
"items": {
69+
"type": "string"
70+
}
71+
}
72+
},
73+
"type": "object"
6574
},
6675
"data": {
6776
"description": "directory used to store Boards/Library Manager index files and Boards Manager platform installations.",

0 commit comments

Comments
 (0)