Download remote server on client machain

[hujianxin]

Right now, when you first connect to a remote server over SSH, you usually have to download the server part right there on the remote machine. But since a lot of your remote machines can’t reach the internet, it’d be super handy if there was an option to download that server part on your local machine and then copy it over via SCP.

[0x2CA]

https://zed.dev/docs/remote-development#configuration

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: {"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, or build your own with cargo build -p remote_server --release. If you do this, you must upload it to ~/.zed_server/zed-remote-server-{RELEASE_CHANNEL}-{VERSION} on the server, for example ~/.zed_server/zed-remote-server-stable-0.181.6. The version must exactly match the version of Zed itself you are using.

{
  "ssh_connections": [
    {
      "host": "192.168.1.10",
      "projects": [{ "paths": ["~/code/zed/zed"] }],
      // by default Zed will download the server binary from the internet on the remote.
      // When this is true, it'll be downloaded to your laptop and uploaded over SSH.
      // This is useful when your remote server has restricted internet access.
      "upload_binary_over_ssh": true,
      // Shown in the Zed UI to help distinguish multiple hosts.
      "nickname": "lil-linux"
    }
  ]
}

[hujianxin]

thanks