From a3f0bb454735413bd0a11d5da06db06e8e5b3306 Mon Sep 17 00:00:00 2001 From: Conrad Irwin Date: Mon, 28 Oct 2024 17:10:08 -0600 Subject: [PATCH] SSH Remoting: Document manual binary management (#19862) Release Notes: - N/A --- docs/src/remote-development.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/src/remote-development.md b/docs/src/remote-development.md index 9dc1777f39..e2bf1c5b66 100644 --- a/docs/src/remote-development.md +++ b/docs/src/remote-development.md @@ -113,7 +113,9 @@ Any prompts that SSH needs will be shown in the UI, so you can verify host keys, Once the master connection is established, Zed will check to see if the remote server binary is present in `~/.zed_server` on the remote, and that its version matches the current version of Zed that you're using. -If it is not there or the version mismatches, Zed will try to download the latest version. By default, it will download from `https://zed.dev` directly, but if you set: `{"remote_server": {"download":false}}` in your local settings, it will download the binary to your local machine and then upload it to the remote server. +If it is not there or the version mismatches, Zed will try to download the latest version. By default, it will download from `https://zed.dev` directly, but if you set: `{"upload_binary_over_ssh":true}` in your settings for that server, it will download the binary to your local machine and then upload it to the remote server. + +If you'd like to maintain the server binary yourself you can. You can either download our prebuilt versions from [Github](https://github.com/zed-industries/zed/releases), or [build your own](https://zed.dev/docs/development) with `cargo build -p remote_server --release`. If you do this, you must upload it to `~/.zed_server/zed-remote-server-{RELEASE_CHANNEL}-{OS}-{ARCH}` on the server, for example `.zed-server/zed-remote-server-preview-linux-x86_64`. The version must exactly match the version of Zed itself you are using. ## Maintaining the SSH connection