Closed jankeromnes closed 7 years ago
Additionally, maybe we could specify a default proxy
type for ports
, so that we can simplify:
{
"ports": {
"22": {
"label": "SSH",
"proxy": "none"
},
"8080": {
"label": "Preview",
"proxy": "https"
},
"8088": {
"label": "VNC",
"proxy": "https"
},
"8089": {
"label": "Cloud9",
"proxy": "https"
}
},
}
to:
{
"ports": {
"22": {
"label": "SSH",
"proxy": "none"
},
"8080": "Preview",
"8088": "VNC",
"8089": "Cloud9"
},
}
?
We could even say that by default, we expect ports SSH
, VNC
and Cloud9
to be 22
, 8088
and 8089
respectively, if you don't explicitly specify them? Not sure.
Instead of having to write:
It would be nice to be able to simplify this as: