gitpod-io / gitpod-io/gitpod

mosh does not work with ssh gateway

Open
#10,440 18 comments 8 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

component: ssh gateway feature: mobile / tablet app feature: ssh gitpod for gitpod meta: never-stale team: IDE
Dominant language
TypeScript
Stars
13.8k
Forks
1.4k
Avg merge
17h 58m
Merged PRs (30d)
5

Description

Bug description

Being able to use mosh would be very helpful to overcome latency issues with SSH. I might be able to use it via local-companion but that's too much effort to put each time. Tailscale should also work (nope), but again, that will make the latency even worse.

Steps to reproduce
  • Open a workspace
  • Run sudo install-packages mosh so that we have mosh server on our workspace
  • From gitpod dashboard, copy the ssh address for workspace
  • Connect with mosh command from your PC
  • See the following screen:
Screenshot 2022-06-03 at 12 44 51 AM Screenshot 2022-06-03 at 12 46 06 AM
Workspace affected

No response

Expected behavior

No response

Example repository

No response

Anything else?

No response

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reproducing the failure using the workspace SSH address and the documented mosh command after installing the mosh server with sudo install-packages mosh. Review the SSH gateway behavior involved in that connection; done means a local mosh client can connect to the workspace through the dashboard-provided SSH address.

Written by the indexing model from the issue text.

Assessment

Domain
networking
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.