New URL syntax for IDE vs. web, allow using ports below 1024

[shaal]

Is your feature request related to a problem? Please describe

Ports below 1024 are reserved for Gitpod, so common ports like port 80 and 443 cannot be used. That creates friction in developer experience, when comparing to local development that doesn't have that limitation.

Describe the behaviour you'd like

What if the current workspace URL would be reserved for IDE https://shaal-myproject-abcdefgh123.ws-us40.gitpod.io/ Or the keyword ide can be added to that URL. https://shaal-myproject-abcdefgh123-ide.ws-us40.gitpod.io/

And there will be a new URL with web keyword in it - https://shaal-myproject-abcdefgh123-web.ws-us40.gitpod.io/

Ports URL would work as they work in local. For example, port 8080, instead of - https://8080-shaal-myproject-abcdefgh123.ws-us40.gitpod.io/ it would become https://shaal-myproject-abcdefgh123-web.ws-us40.gitpod.io:8080/

And we can finally use port 443 https://shaal-myproject-abcdefgh123-web.ws-us40.gitpod.io:443/ which is the same as https://shaal-myproject-abcdefgh123-web.ws-us40.gitpod.io/

Describe alternatives you've considered

Additional context

[axonasif]

Possibly related: https://github.com/gitpod-io/gitpod/issues/459

[iQQBot]

it supported ports below 1024 now

[axonasif]

it supported ports below 1024 now

Wow, what was changed? Did we document this on /docs? This sounds amazing TBH 🎉

[stale[bot]]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.