Open pascalbreuninger opened 1 month ago
@pascalbreuninger Thanks for suggesting this! We're in the middle of a rewrite of our SSH layer, but we do intend to support some kind of URL. Like zed://ssh/$HOST/$PATH
.
I'm assuming dev containers rarely need other ssh options, but I'd like to make sure we have the support for that too.
@ConradIrwin yup that should be enough. Most tools write their own SSH host config anyway if they need more options. As long as we can let zed know which host (or command) to use and where the workspace is located on the remote machine, we're good 👍 Looking forward to your refactoring!
Check for existing issues
Describe the feature
Hey 👋
Motivation
I'm the maintainer of an open source project called DevPod which let's you create dev environments based on devcontainer.json on any infrastructure and the connect it to the most popular IDEs. Zed has gained a lot of traction lately and unsurprisingly we now have requests to support it in DevPod (ref). I know your remote development implementation is in the early stages but it might be interesting to consider integrating with other tools such as DevPod for the GA release of this feature.
Suggestion
VSCode and Jetbrains IDEs currently expose a custom uri scheme to create new remote workspaces, i.e.
vscode://vscode-remote/ssh-remote+$HOST/$FOLDER_TO_OPEN
jetbrains-gateway://connect#idePath=$IDE_FOLDER_ON_REMOTE&projectPath=FOLDER_TO_OPEN&host=$HOST&type=ssh&deploy=false
Zed could also implement a similar custom protocol using the existing parsing features to open files with
zed://filename
if I saw that correctly glimpsing over the code.Alternatives
zed launch --host=$HOST --folder=$FOLDER
or something along those linesIf applicable, add mockups / screenshots to help present your vision of the feature
No response