Add "customizations" to unblock microsoft/dev-container-spec#1

This commit is contained in:
Christof Marti
2022-03-24 21:18:52 +01:00
parent 56b06f83d9
commit 177fb07e50
2 changed files with 48 additions and 0 deletions

View File

@@ -403,6 +403,14 @@
}
},
"additionalProperties": false
},
"customizations": {
"type": "object",
"additionalProperties": {
"type": "object",
"additionalProperties": true
},
"description": "Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
}
},
"required": [
@@ -806,6 +814,14 @@
}
},
"additionalProperties": false
},
"customizations": {
"type": "object",
"additionalProperties": {
"type": "object",
"additionalProperties": true
},
"description": "Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
}
},
"required": [
@@ -1175,6 +1191,14 @@
}
},
"additionalProperties": false
},
"customizations": {
"type": "object",
"additionalProperties": {
"type": "object",
"additionalProperties": true
},
"description": "Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
}
},
"required": [
@@ -1518,6 +1542,14 @@
}
},
"additionalProperties": false
},
"customizations": {
"type": "object",
"additionalProperties": {
"type": "object",
"additionalProperties": true
},
"description": "Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
}
},
"required": [
@@ -1826,6 +1858,14 @@
}
},
"additionalProperties": false
},
"customizations": {
"type": "object",
"additionalProperties": {
"type": "object",
"additionalProperties": true
},
"description": "Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
}
},
"additionalProperties": false