zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-07 20:39:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

Change on remote setup and one more SSH command as example (#12591)

Browse Source 
Release Notes:
- N/A
This commit is contained in:
Francisco Rivas 2024-06-03 10:34:09 +02:00 committed by GitHub
parent b218d8778d
commit d0142b820f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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