Change the casing of dockerFile to dockerfile (microsoft/vscode-remote-release#2422)

This commit is contained in:
Christof Marti 2020-02-25 17:11:31 +01:00
parent 20b4e047c6
commit ee15fadc51

View file

@ -142,23 +142,7 @@
} }
} }
}, },
"dockerFileAndContext": { "dockerfileContainer": {
"type": "object",
"properties": {
"dockerFile": {
"type": "string",
"description": "The location of the Dockerfile that defines the contents of the container. The path is relative to the folder containing the `devcontainer.json` file."
},
"context": {
"type": "string",
"description": "The location of the context folder for building the Docker image. The path is relative to the folder containing the `devcontainer.json` file."
}
},
"required": [
"dockerFile"
]
},
"dockerFileContainer": {
"oneOf": [ "oneOf": [
{ {
"type": "object", "type": "object",
@ -168,7 +152,20 @@
"description": "Docker build-related options.", "description": "Docker build-related options.",
"allOf": [ "allOf": [
{ {
"$ref": "#/definitions/dockerFileAndContext" "type": "object",
"properties": {
"dockerfile": {
"type": "string",
"description": "The location of the Dockerfile that defines the contents of the container. The path is relative to the folder containing the `devcontainer.json` file."
},
"context": {
"type": "string",
"description": "The location of the context folder for building the Docker image. The path is relative to the folder containing the `devcontainer.json` file."
}
},
"required": [
"dockerfile"
]
}, },
{ {
"$ref": "#/definitions/buildOptions" "$ref": "#/definitions/buildOptions"
@ -183,7 +180,20 @@
{ {
"allOf": [ "allOf": [
{ {
"$ref": "#/definitions/dockerFileAndContext" "type": "object",
"properties": {
"dockerFile": {
"type": "string",
"description": "The location of the Dockerfile that defines the contents of the container. The path is relative to the folder containing the `devcontainer.json` file."
},
"context": {
"type": "string",
"description": "The location of the context folder for building the Docker image. The path is relative to the folder containing the `devcontainer.json` file."
}
},
"required": [
"dockerFile"
]
}, },
{ {
"type": "object", "type": "object",
@ -280,7 +290,7 @@
{ {
"oneOf": [ "oneOf": [
{ {
"$ref": "#/definitions/dockerFileContainer" "$ref": "#/definitions/dockerfileContainer"
}, },
{ {
"$ref": "#/definitions/imageContainer" "$ref": "#/definitions/imageContainer"