-
Notifications
You must be signed in to change notification settings - Fork 874
feat: add --ssh-host-prefix flag for "coder ssh" #16088
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
Conversation
The test failure looks unrelated. Flaky test? |
Looks like it, although I'm having trouble getting it to Flake to confirm :/ |
Re-running the tests passed, it's a flake ❄️ I'll come back to this in the morning and try to fix it 😎 |
Ah hey the flake was caught and fixed yesterday, just in the process of being merged: coder/internal#269 |
This simplifies the written SSH config and avoids the need to make an API request for every workspace the filter returns. This can remove minutes from the "Configuring Coder CLI..." step when the user has access to many workspaces (for example, an admin who wants the option of connecting to anyone's workspace on a large deployment). Depends on coder/coder#16088
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
This adds a flag matching `--ssh-host-prefix` from `coder config-ssh` to `coder ssh`. By trimming a custom prefix from the argument, we can set up wildcard-based `Host` entries in SSH config for the IDE plugins (and eventually `coder config-ssh`). We also replace `--` in the argument with `/`, so ownership can be specified in wildcard-based SSH hosts like `<owner>--<workspace>`.
e32e656
to
0499bda
Compare
This adds a flag matching
--ssh-host-prefix
fromcoder config-ssh
tocoder ssh
. By trimming a custom prefix from the argument, we can set up wildcard-basedHost
entries in SSH config for the IDE plugins (and eventuallycoder config-ssh
).We also replace
--
in the argument with/
, so ownership can be specified in wildcard-based SSH hosts like<owner>--<workspace>
.Replaces #16087.
Part of #14986.
Related to #16078 and #16080.