-
Notifications
You must be signed in to change notification settings - Fork 1.3k
gp ports command #9930
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
Relates to: #9286 |
The first version should be 🛹 and allow following: List ports
This command should print a table of ports with following columns:
Change visibility of ports
Example:
|
@felladrin is it resolved? I noticed that |
Not yet, I want to implement
Thanks! I'll check with him. |
I've created a dedicated issue for Link to dedicated issue: #10633 |
@loujaybee @felladrin I removed it from scheduled it for now. Since we have gp ports now and it is better to improve other aspects of JB integration. |
@akosyakov I'd suggest we extract out |
Moved visibility behaviour to: Will now close this issue now, thanks folks! 🙏 |
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 andgp
CLI is mirrored / consistent.The text was updated successfully, but these errors were encountered: