Updated JSON schema for configuration

arduino · Dec 10, 2024 · 4076037 · 4076037
1 parent 23867a2
commit 4076037
Showing 1 changed file with 21 additions and 10 deletions.
diff --git a/internal/cli/configuration/configuration.schema.json b/internal/cli/configuration/configuration.schema.json
@@ -38,16 +38,8 @@
         },
         "ttl": {
           "description": "cache expiration time of build folders. If the cache is hit by a compilation the corresponding build files lifetime is renewed. The value format must be a valid input for time.ParseDuration(), defaults to `720h` (30 days)",
-          "oneOf": [
-            {
-              "type": "integer",
-              "minimum": 0
-            },
-            {
-              "type": "string",
-              "pattern": "^\\+?([0-9]?\\.?[0-9]+(([nuµm]?s)|m|h))+$"
-            }
-          ]
+          "type": "string",
+          "pattern": "^[+-]?(([0-9]+(\\.[0-9]*)?|(\\.[0-9]+))(ns|us|µs|μs|ms|s|m|h))+$"
         }
       },
       "type": "object"
@@ -146,6 +138,25 @@
       },
       "type": "object"
     },
+    "network": {
+      "description": "settings related to network connections.",
+      "type": "object",
+      "properties": {
+        "proxy": {
+          "description": "proxy settings for network connections.",
+          "type": "string"
+        },
+        "user_agent_ext": {
+          "description": "extra string to append to the user agent string in HTTP requests.",
+          "type": "string"
+        },
+        "connection_timeout": {
+          "description": "timeout for network connections, defaults to '30s'",
+          "type": "string",
+          "pattern": "^[+-]?(([0-9]+(\\.[0-9]*)?|(\\.[0-9]+))(ns|us|µs|μs|ms|s|m|h))+$"
+        }
+      }
+    },
     "output": {
       "description": "settings related to text output.",
       "properties": {