JsonConfig: update JSON schema

This commit is contained in:
Carter Li
2023-06-18 14:38:39 +08:00
parent 6a44242795
commit 463838a198
+128 -1
View File
@@ -462,7 +462,23 @@
"Media",
"Memory",
"OpenCL",
"OS"
"OS",
"Packages",
"Player",
"PowerAdapter",
"Processes",
"Shell",
"Swap",
"Terminal",
"TerminalFont",
"Theme",
"Uptime",
"Users",
"Vulkan",
"Wallpaper",
"WM",
"Wifi",
"WMTheme"
]
},
"key": {
@@ -788,6 +804,117 @@
}
},
"additionalProperties": false
},
{
"properties": {
"type": {
"enum": ["PublicIp"]
},
"url": {
"title": "The URL of public IP detection server to be used. Only HTTP protocol is supported",
"type": "string",
"format": "url",
"default": "http://ipinfo.io/ip"
},
"timeout": {
"title": "Time in milliseconds to wait for the public ip server to respond",
"type": "integer",
"minimum": 0,
"default": "disabled (0)"
},
"key": {
"$ref": "#/$defs/key"
},
"keyColor": {
"$ref": "#/$defs/keyColor"
},
"format": {
"$ref": "#/$defs/format"
}
},
"additionalProperties": false
},
{
"properties": {
"type": {
"enum": ["Separator"]
},
"string": {
"title": "Set the string printed by the separator module",
"type": "string",
"format": "url",
"default": "http://ipinfo.io/ip"
}
},
"additionalProperties": false
},
{
"properties": {
"type": {
"enum": ["Sound"]
},
"soundType": {
"title": "Set what type of sound devices should be printed",
"type": "string",
"enum": [
"main",
"active",
"all"
],
"default": "main"
},
"key": {
"$ref": "#/$defs/key"
},
"keyColor": {
"$ref": "#/$defs/keyColor"
},
"format": {
"$ref": "#/$defs/format"
}
},
"additionalProperties": false
},
{
"properties": {
"type": {
"enum": ["Title"]
},
"fqdn": {
"type": "boolean",
"title": "Set if the title should use fully qualified domain name",
"default": false
}
},
"additionalProperties": false
},
{
"properties": {
"type": {
"enum": ["Weather"]
},
"timeout": {
"title": "Time in milliseconds to wait for the weather server to respond",
"type": "integer",
"minimum": 0,
"default": "disabled (0)"
},
"outputFormat": {
"title": "The output weather format to be used (must be URI encoded)",
"type": "string",
"default": "%t+-+%C+(%l)"
},
"key": {
"$ref": "#/$defs/key"
},
"keyColor": {
"$ref": "#/$defs/keyColor"
},
"format": {
"$ref": "#/$defs/format"
}
},
"additionalProperties": false
}
]
}