Add build options (#328)

devcontainers · Jan 15, 2024 · be7b426 · be7b426
1 parent 589e09c
commit be7b426
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/schemas/devContainer.base.schema.json b/schemas/devContainer.base.schema.json
@@ -633,6 +633,13 @@
 					"items": {
 						"type": "string"
 					}
+				},
+				"options": {
+					"type": "array",
+					"description": "Additional CLI options passed when building the container image.",
+					"items": {
+						"type": "string"
+					}
 				}
 			}
 		},