Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Remote SSH connection doesn't support ports #13295

Closed
planger opened this issue Jan 19, 2024 · 0 comments · Fixed by #13296
Closed

Remote SSH connection doesn't support ports #13295

planger opened this issue Jan 19, 2024 · 0 comments · Fixed by #13296
Assignees
@planger
Labels
bug bugs found in the application remote-ssh issues related to the ssh remote functionality
Milestone
1.46.0

Comments

@planger
Copy link
Contributor

planger commented Jan 19, 2024

Bug Description:

When connecting to a remote SSH server, users can't specify an SSH port.

Steps to Reproduce:

  1. Start a container with open SSH server running and map it e.g. to port 2222 with docker run -d -p 2222:22 ssh-container
  2. Run Connect to Host...
  3. Enter user@localhost:2222
  4. Observe how the connection doesn't work as the port is not recognized but localhost:2222 is assumed to be the hostname

Additional Information

  • Operating System: Any
  • Theia Version: 1.45.0
@planger planger added bug bugs found in the application remote-ssh issues related to the ssh remote functionality labels Jan 19, 2024
@planger planger self-assigned this Jan 19, 2024
planger added a commit to eclipsesource/theia that referenced this issue Jan 19, 2024
@planger
Support specifying the port of a remote SSH connection
e210178 
Contributed on behalf of STMicroelectronics.
Fixes eclipse-theia#13295

Change-Id: If29f06b34749091797ae861101159195afcc5a8e
@planger planger mentioned this issue Jan 19, 2024
Merged
1 task
planger added a commit to eclipsesource/theia that referenced this issue Jan 22, 2024
@planger
Support specifying the port of a remote SSH connection
c90e153 
Contributed on behalf of STMicroelectronics.
Fixes eclipse-theia#13295

Change-Id: If29f06b34749091797ae861101159195afcc5a8e
planger added a commit that referenced this issue Jan 22, 2024
@planger
Support specifying the port of a remote SSH connection
a8ee157 
Contributed on behalf of STMicroelectronics.
Fixes #13295

Change-Id: If29f06b34749091797ae861101159195afcc5a8e
@jfaltermeier jfaltermeier added this to the 1.46.0 milestone Jan 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@planger planger

Labels
bug bugs found in the application remote-ssh issues related to the ssh remote functionality
Projects
None yet
Milestone
1.46.0
Development

Successfully merging a pull request may close this issue.

Support specifying the port of a remote SSH connection eclipsesource/theia
2 participants
@planger @jfaltermeier