feat: add zed ide support

[tarunrajput]

add zed ide support

Description

add zed ide support

• This change requires a documentation update
• I have made corresponding changes to the documentation

Related Issue(s)

closes #1002
/claim #1002

Screenshots

Screen.Recording.2024-11-03.at.5.32.45.PM.mov

[tarunrajput]

@Tpuljak zed has now fixed most of the ssh remote development issues. https://zed.dev/blog/remote-development

[Tpuljak]

Nice work!

2 comments:

1. 
   Is it possible to change the download location of the server so its not downloaded inside the project?

2. 
   The terminal won't load for me. Does it work for you?

[tarunrajput]

@Tpuljak

Is it possible to change the download location of the server so its not downloaded inside the project?

so, it looks like zed binary is always being downloaded to the workspace dir (even when I don't include the workspace path in the zed ssh command zed ssh://default-5fcdb0e410f8-automation-scripts).
I think what’s happening here is is that when we ssh into the workspace, it’s taking us directly to the workspace dir by default. That’s likely why the zed server binary ends up in the workspace dir instead of home.

The terminal won't load for me. Does it work for you?

No, it doesn’t work for me either. It might be a limitation with zed, and hopefully, they plan to fix this soon.

[Tpuljak]

Okay. Basically the only thing that works is editing files 😅. Not even extensions are supported yet.

We can merge this PR but please add a warning disclaimer when the user opens a workspace with Zed. It should say:

Zed remote development is not yet stable. Issues like opening terminals and using extensions are expected.

[tarunrajput]

Okay. Basically the only thing that works is editing files 😅. Not even extensions are supported yet.

We can merge this PR but please add a warning disclaimer when the user opens a workspace with Zed. It should say:

Zed remote development is not yet stable. Issues like opening terminals and using extensions are expected.

done