chore: schema updates

Luca Bianconi · Luca Bianconi · commit f89612d3930a · 2023-02-16T15:07:30.000+01:00
diff --git a/configuration/configuration.schema.json b/configuration/configuration.schema.json
@@ -34,7 +34,8 @@
               "minimum": 0
             },
             {
-              "type": "string"
+              "type": "string",
+              "pattern": "^[-+]?([0-9]*(\\.[0-9]*)?[a-z]+)+$"
             }
           ]
         }
@@ -150,7 +151,8 @@
       "properties": {
         "enable_notification": {
           "description": "set to `false` to disable notifications of new Arduino CLI releases, defaults to `true`",
-          "type": "boolean"
+          "type": "boolean",
+          "default": true
         }
       },
       "type": "object"

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,8 @@`
`34`	`34`	`"minimum": 0`
`35`	`35`	`},`
`36`	`36`	`{`
`37`		`- "type": "string"`
	`37`	`+ "type": "string",`
	`38`	`+ "pattern": "^[-+]?([0-9](\\.[0-9])?[a-z]+)+$"`
`38`	`39`	`}`
`39`	`40`	`]`
`40`	`41`	`}`
`@@ -150,7 +151,8 @@`
`150`	`151`	`"properties": {`
`151`	`152`	`"enable_notification": {`
`152`	`153`	"description": "set to `false` to disable notifications of new Arduino CLI releases, defaults to `true`",
`153`		`- "type": "boolean"`
	`154`	`+ "type": "boolean",`
	`155`	`+ "default": true`
`154`	`156`	`}`
`155`	`157`	`},`
`156`	`158`	`"type": "object"`