development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-07-17 11:07:22 +00:00
Code Issues Actions 10 Packages Projects Releases Wiki Activity

Update devcontainer schema (#132047)

Browse source 
Part of microsoft/vscode-remote-release#3450
This commit is contained in:
Alex Ross 2021-09-20 15:22:44 +02:00 committed by GitHub
parent 00d20b9da0
commit 12bccfd022
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 92 additions and 28 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
extensions/configuration-editing/schemas/attachContainer.schema.json
View file

@ -14,9 +14,19 @@
},
"forwardPorts": {
"type": "array",
"description": "Ports that are forwarded from the container to the local machine.",
"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\".",
"items": {
"type": "integer"
"oneOf": [
{
"type": "integer",
"maximum": 65535,
"minimum": 0
},
{
"type": "string",
"pattern": "^([a-z0-9\\-]+):(\\d{1,5})$"
}
]
}
},
"portsAttributes": {

80
extensions/configuration-editing/schemas/devContainer.schema.generated.json
View file

@ -126,11 +126,19 @@
},
"forwardPorts": {
"type": "array",
"description": "Ports that are forwarded from the container to the local machine.",
"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\".",
"items": {
"type": "integer",
"maximum": 65535,
"minimum": 0
"oneOf": [
{
"type": "integer",
"maximum": 65535,
"minimum": 0
},
{
"type": "string",
"pattern": "^([a-z0-9\\-]+):(\\d{1,5})$"
}
]
}
},
"portsAttributes": {
@ -516,11 +524,19 @@
},
"forwardPorts": {
"type": "array",
"description": "Ports that are forwarded from the container to the local machine.",
"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\".",
"items": {
"type": "integer",
"maximum": 65535,
"minimum": 0
"oneOf": [
{
"type": "integer",
"maximum": 65535,
"minimum": 0
},
{
"type": "string",
"pattern": "^([a-z0-9\\-]+):(\\d{1,5})$"
}
]
}
},
"portsAttributes": {
@ -872,11 +888,19 @@
},
"forwardPorts": {
"type": "array",
"description": "Ports that are forwarded from the container to the local machine.",
"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\".",
"items": {
"type": "integer",
"maximum": 65535,
"minimum": 0
"oneOf": [
{
"type": "integer",
"maximum": 65535,
"minimum": 0
},
{
"type": "string",
"pattern": "^([a-z0-9\\-]+):(\\d{1,5})$"
}
]
}
},
"portsAttributes": {
@ -1202,11 +1226,19 @@
},
"forwardPorts": {
"type": "array",
"description": "Ports that are forwarded from the container to the local machine.",
"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\".",
"items": {
"type": "integer",
"maximum": 65535,
"minimum": 0
"oneOf": [
{
"type": "integer",
"maximum": 65535,
"minimum": 0
},
{
"type": "string",
"pattern": "^([a-z0-9\\-]+):(\\d{1,5})$"
}
]
}
},
"portsAttributes": {
@ -1497,11 +1529,19 @@
},
"forwardPorts": {
"type": "array",
"description": "Ports that are forwarded from the container to the local machine.",
"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\".",
"items": {
"type": "integer",
"maximum": 65535,
"minimum": 0
"oneOf": [
{
"type": "integer",
"maximum": 65535,
"minimum": 0
},
{
"type": "string",
"pattern": "^([a-z0-9\\-]+):(\\d{1,5})$"
}
]
}
},
"portsAttributes": {

26
extensions/configuration-editing/schemas/devContainer.schema.src.json
View file

@ -26,11 +26,19 @@
},
"forwardPorts": {
"type": "array",
"description": "Ports that are forwarded from the container to the local machine.",
"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\".",
"items": {
"type": "integer",
"maximum": 65535,
"minimum": 0
"oneOf": [
{
"type": "integer",
"maximum": 65535,
"minimum": 0
},
{
"type": "string",
"pattern": "^([a-z0-9\\-]+):(\\d{1,5})$"
}
]
}
},
"portsAttributes": {
@ -78,7 +86,10 @@
},
"protocol": {
"type": "string",
"enum": ["http", "https"],
"enum": [
"http",
"https"
],
"description": "The protocol to use when forwarding this port."
}
},
@ -140,7 +151,10 @@
},
"protocol": {
"type": "string",
"enum": ["http", "https"],
"enum": [
"http",
"https"
],
"description": "The protocol to use when forwarding this port."
}
},