gp ports command

[loujaybee]

Currently, in IDE's such as JetBrains, and when SSH'ing into Gitpod it's not (yet) possible to manage your Gitpod ports (e.g. list open ports). This issue is to introduce a gp CLI command which allows a user to modify and manipulate the ports of their workspace. Ideally, in the long run, the functionality available in each of the IDE's and gp CLI is mirrored / consistent.

[loujaybee]

Relates to: #9286

[akosyakov]

The first version should be 🛹 and allow following:

List ports

gp ports list

This command should print a table of ports with following columns:

• status: not served|failed to expose|exposing...|served
• label: port name + number
• visibility: public|private
• url
• description

Change visibility of ports

gp ports visibility <port>:{public|private}...

Example:

gp ports visibility 8000:public 3000:private

[loujaybee]

Issue for docs: https://github.com/gitpod-io/website/issues/2178

[akosyakov]

@felladrin is it resolved?

I noticed that watch gp ports does not look nice. I think @andreafalzetti has some ideas how to improve.