Improve UX of SSH using companion app (e.g a single command + select workspaces from a list)

[loujaybee]

Currently to SSH using the local companion, you have to run a command like:

ssh -F /tmp/gitpod_ssh_config <your-workspace-id e.g.apricot-harrier-####>

This has some friction:

• It requires two running terminal sessions (it would be nice to consolidate this into one)
• It requires the user to know / go get their workspace ID
• It requires the user to reference the SSH config file

It would be good to tackle all three of these issues (possible not within the same issue) where 1 command can be issued, allowing the selection of a workspace from a list, before the connection is established and the SSH connection opened.

[stale]

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.

[loujaybee]

Relates to:

• Epic: Desktop Gitpod Experience (e.g. CLI or Trailer App) #7185
• Epic: SSH access copy/paste via dashboard #7713