From d0142b820f29d67fadffda73a284f565df827713 Mon Sep 17 00:00:00 2001 From: Francisco Rivas Date: Mon, 3 Jun 2024 10:34:09 +0200 Subject: [PATCH] Change on remote setup and one more SSH command as example (#12591) 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 f0fa09f77a2ee6c97ff94d2936bac0e2494a6955..3e3b2c549e76bcd3c523c6ec40ac02f102fa71d6 100644 --- a/docs/src/remote-development.md +++ b/docs/src/remote-development.md @@ -16,7 +16,7 @@ Currently the two instances connect via Zed's servers, but we intend to build pe 1. Download and install the latest [Zed Preview](https://zed.dev/releases/preview). 1. Open the remote projects dialogue with `cmd-shift-p remote`. -2. Click "Add Server". +2. Click "New Server". 3. Choose whether to setup via SSH, or to follow the manual setup. > **Note:** With both options your laptop and the remote machine will communicate via https://collab.zed.dev/, so you will need outbound internet access on the remote machine. @@ -47,6 +47,7 @@ can specify: - `gh cs ssh -c example-codespace` to connect to a GitHub codespace - `doctl compute ssh example-droplet` to connect to a DigitalOcean Droplet - `gcloud compute ssh` for a Google Cloud instance +- `ssh -i path_to_key_file user@host` to connect to a host using a key file or certificate ### zed --dev-server-token isn't connecting