Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix docs on remote extensions (#30631)

Browse source 
Closes #17021

This was implemented a while ago, but I never updated the docs. Sorry.

Release Notes:

- N/A
This commit is contained in:
Conrad Irwin 2025-05-13 16:50:46 +02:00 • committed by GitHub
parent 8fe134e361
commit 6f297132b4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/src/remote-development.md
View file

@ -158,6 +158,8 @@ Depending on the kind of setting you want to make, which settings file you shoul
- Server settings should be used for things that affect the server: paths to language servers, etc.
- Local settings should be used for things that affect the UI: font size, etc.
In addition any extensions you have installed locally will be propagated to the remote server. This means that language servers, etc. will run correctly.
## Initializing the remote server
Once you provide the SSH options, Zed shells out to `ssh` on your local machine to create a ControlMaster connection with the options you provide.
@ -200,7 +202,6 @@ Note that we deliberately disallow some options (for example `-t` or `-T`) that
## Known Limitations
- Zed extensions are not yet supported on remotes, so languages that need them for support do not work.
- You can't open files from the remote Terminal by typing the `zed` command.
## Feedback