Skip to content

Commit 1a03d6b

Browse files
committed
1 parent edb6387 commit 1a03d6b

1 file changed

Lines changed: 59 additions & 1 deletion

File tree

extensions/configuration-editing/schemas/devContainer.schema.json

Lines changed: 59 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,7 @@
132132
}
133133
}
134134
},
135-
"dockerFileContainer": {
135+
"dockerFileAndContext": {
136136
"type": "object",
137137
"properties": {
138138
"dockerFile": {
@@ -148,6 +148,64 @@
148148
"dockerFile"
149149
]
150150
},
151+
"dockerFileContainer": {
152+
"oneOf": [
153+
{
154+
"type": "object",
155+
"properties": {
156+
"build": {
157+
"type": "object",
158+
"description": "Docker build-related options.",
159+
"allOf": [
160+
{
161+
"$ref": "#/definitions/dockerFileAndContext"
162+
},
163+
{
164+
"$ref": "#/definitions/buildOptions"
165+
}
166+
]
167+
}
168+
},
169+
"required": [
170+
"build"
171+
]
172+
},
173+
{
174+
"allOf": [
175+
{
176+
"$ref": "#/definitions/dockerFileAndContext"
177+
},
178+
{
179+
"type": "object",
180+
"properties": {
181+
"build": {
182+
"description": "Docker build-related options.",
183+
"$ref": "#/definitions/buildOptions"
184+
}
185+
}
186+
}
187+
]
188+
}
189+
]
190+
},
191+
"buildOptions": {
192+
"type": "object",
193+
"properties": {
194+
"target": {
195+
"type": "string",
196+
"description": "Target stage in a multi-stage build."
197+
},
198+
"args": {
199+
"type": "object",
200+
"additionalProperties": {
201+
"type": [
202+
"string"
203+
]
204+
},
205+
"description": "Build arguments."
206+
}
207+
}
208+
},
151209
"imageContainer": {
152210
"type": "object",
153211
"properties": {

0 commit comments

Comments
 (0)