Add "features" property to schema (microsoft/vscode-remote-release#5442)

anyscale · Sep 29, 2021 · b085e1c · b085e1c
1 parent 57903bc
commit b085e1c
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 0 deletions.
diff --git a/extensions/configuration-editing/schemas/devContainer.schema.generated.json b/extensions/configuration-editing/schemas/devContainer.schema.generated.json
@@ -124,6 +124,11 @@
  "$ref": "vscode:https://schemas/settings/machine",
  "description": "Machine specific settings that should be copied into the container. These are only copied when connecting to the container for the first time, rebuilding the container then triggers it again."
  },
+ "features": {
+ "type": "object",
+ "description": "Features to add to the dev container.",
+ "additionalProperties": true
+ },
  "forwardPorts": {
  "type": "array",
  "description": "Ports that are forwarded from the container to the local machine. Can be an integer port number, or a string of the format \"host:port_number\".",
@@ -522,6 +527,11 @@
  "$ref": "vscode:https://schemas/settings/machine",
  "description": "Machine specific settings that should be copied into the container. These are only copied when connecting to the container for the first time, rebuilding the container then triggers it again."
  },
+ "features": {
+ "type": "object",
+ "description": "Features to add to the dev container.",
+ "additionalProperties": true
+ },
  "forwardPorts": {
  "type": "array",
  "description": "Ports that are forwarded from the container to the local machine. Can be an integer port number, or a string of the format \"host:port_number\".",
@@ -886,6 +896,11 @@
  "$ref": "vscode:https://schemas/settings/machine",
  "description": "Machine specific settings that should be copied into the container. These are only copied when connecting to the container for the first time, rebuilding the container then triggers it again."
  },
+ "features": {
+ "type": "object",
+ "description": "Features to add to the dev container.",
+ "additionalProperties": true
+ },
  "forwardPorts": {
  "type": "array",
  "description": "Ports that are forwarded from the container to the local machine. Can be an integer port number, or a string of the format \"host:port_number\".",
@@ -1224,6 +1239,11 @@
  "$ref": "vscode:https://schemas/settings/machine",
  "description": "Machine specific settings that should be copied into the container. These are only copied when connecting to the container for the first time, rebuilding the container then triggers it again."
  },
+ "features": {
+ "type": "object",
+ "description": "Features to add to the dev container.",
+ "additionalProperties": true
+ },
  "forwardPorts": {
  "type": "array",
  "description": "Ports that are forwarded from the container to the local machine. Can be an integer port number, or a string of the format \"host:port_number\".",
@@ -1527,6 +1547,11 @@
  "$ref": "vscode:https://schemas/settings/machine",
  "description": "Machine specific settings that should be copied into the container. These are only copied when connecting to the container for the first time, rebuilding the container then triggers it again."
  },
+ "features": {
+ "type": "object",
+ "description": "Features to add to the dev container.",
+ "additionalProperties": true
+ },
  "forwardPorts": {
  "type": "array",
  "description": "Ports that are forwarded from the container to the local machine. Can be an integer port number, or a string of the format \"host:port_number\".",

diff --git a/extensions/configuration-editing/schemas/devContainer.schema.src.json b/extensions/configuration-editing/schemas/devContainer.schema.src.json
@@ -24,6 +24,11 @@
  "$ref": "vscode:https://schemas/settings/machine",
  "description": "Machine specific settings that should be copied into the container. These are only copied when connecting to the container for the first time, rebuilding the container then triggers it again."
  },
+ "features": {
+ "type": "object",
+ "description": "Features to add to the dev container.",
+ "additionalProperties": true
+ },
  "forwardPorts": {
  "type": "array",
  "description": "Ports that are forwarded from the container to the local machine. Can be an integer port number, or a string of the format \"host:port_number\".",