Skip to content

remote-ssh #6916

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
Closed
lukeprotag opened this issue Jul 23, 2024 · 3 comments
Closed

remote-ssh #6916

lukeprotag opened this issue Jul 23, 2024 · 3 comments
Labels
extension The issue needs to be fixed in the extension

Comments

@lukeprotag
Copy link

What is your suggestion?

Why do you want this feature?

Are there any workarounds to get this functionality today?

Are you interested in submitting a PR for this?
@lukeprotag lukeprotag added the enhancement Some improvement that isn't a feature label Jul 23, 2024
@lukeprotag
Copy link
Author

code-server doesn't support "remote-ssh". But I need it!!!!

@code-asher
Copy link
Member

The extension disables itself in web, so I do not think there is anything we can do here.

@code-asher code-asher closed this as not planned Won't fix, can't repro, duplicate, stale Jul 23, 2024
@code-asher code-asher added extension The issue needs to be fixed in the extension and removed enhancement Some improvement that isn't a feature labels Jul 23, 2024
@code-asher
Copy link
Member

We do have an issue for implementing our own version of the extension but there are no plans for working on it: #1315

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
extension The issue needs to be fixed in the extension
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@code-asher @lukeprotag