fix: Add $schema property to settings.schema.json (#12763)

Co-authored-by: cornmander <shikhman@google.com>
This commit is contained in:
Scott Wu
2025-11-25 12:48:47 +08:00
committed by GitHub
parent 404a4468d8
commit 2b41263aa7
2 changed files with 14 additions and 0 deletions
+6
View File
@@ -6,6 +6,12 @@
"type": "object", "type": "object",
"additionalProperties": false, "additionalProperties": false,
"properties": { "properties": {
"$schema": {
"title": "Schema",
"description": "The URL of the JSON schema for this settings file. Used by editors for validation and autocompletion.",
"type": "string",
"default": "https://raw.githubusercontent.com/google-gemini/gemini-cli/main/schemas/settings.schema.json"
},
"mcpServers": { "mcpServers": {
"title": "MCP Servers", "title": "MCP Servers",
"description": "Configuration for MCP servers.", "description": "Configuration for MCP servers.",
+8
View File
@@ -120,6 +120,14 @@ function buildSchemaObject(schema: SettingsSchemaType): JsonSchema {
properties: {}, properties: {},
}; };
root.properties!['$schema'] = {
title: 'Schema',
description:
'The URL of the JSON schema for this settings file. Used by editors for validation and autocompletion.',
type: 'string',
default: SCHEMA_ID,
};
for (const [key, definition] of Object.entries(schema)) { for (const [key, definition] of Object.entries(schema)) {
root.properties![key] = buildSettingSchema(definition, [key], defs); root.properties![key] = buildSettingSchema(definition, [key], defs);
} }