-
-
Notifications
You must be signed in to change notification settings - Fork 7.2k
Labels
frequency:uncommonBugs that happen for a small subset of users, special configurations, rare circumstances, etcBugs that happen for a small subset of users, special configurations, rare circumstances, etcplatform:remoteRemote development, SSH and zed-remote-serverRemote development, SSH and zed-remote-serverpriority:P3Papercuts, minor issues with a clear workaround, cosmetic bugsPapercuts, minor issues with a clear workaround, cosmetic bugsstate:needs reproNeeds reproduction steps / someone to reproduceNeeds reproduction steps / someone to reproduce
Description
Reproduction steps
- Create user .ssh/config
- remove global .ssh/config (easy on windows since it's not usualy present!)
- Open remote connection
- No ssh servers listed at all
Current vs. Expected behavior
I expect to see the user config present.
I have a fix, will submit a PR for this!
Zed version and system specs
Zed: 0.219.5
OS: Windows 11
Attach Zed log file
Zed.log
Relevant Zed settings
settings.json
Relevant Keymap
keymap.json
(for AI issues) Model provider details
No response
If you are using WSL on Windows, what flavor of Linux are you using?
None
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
frequency:uncommonBugs that happen for a small subset of users, special configurations, rare circumstances, etcBugs that happen for a small subset of users, special configurations, rare circumstances, etcplatform:remoteRemote development, SSH and zed-remote-serverRemote development, SSH and zed-remote-serverpriority:P3Papercuts, minor issues with a clear workaround, cosmetic bugsPapercuts, minor issues with a clear workaround, cosmetic bugsstate:needs reproNeeds reproduction steps / someone to reproduceNeeds reproduction steps / someone to reproduce