From 6f297132b47b67dfb0cec457e73816894b4a3932 Mon Sep 17 00:00:00 2001 From: Conrad Irwin Date: Tue, 13 May 2025 16:50:46 +0200 Subject: [PATCH] Fix docs on remote extensions (#30631) Closes #17021 This was implemented a while ago, but I never updated the docs. Sorry. Release Notes: - N/A --- docs/src/remote-development.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/src/remote-development.md b/docs/src/remote-development.md index 7738442c5e..af14685e14 100644 --- a/docs/src/remote-development.md +++ b/docs/src/remote-development.md @@ -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