Skip to content

Instantly share code, notes, and snippets.

View ConradIrwin's full-sized avatar

Conrad Irwin ConradIrwin

View GitHub Profile

Remote Development in Zed

At Zed we believe that great things are built by great people working together. We have designed Zed to help every individual work faster and to help teams of people work together more effectively.

Remote development allows you to launch a headless version of Zed on a development server, so that you and your team can edit projects without cloning them locally.

NOTE remote development is at very early stage of preview release with a number of limitations. Notably, you cannot currently use Zed’s terminal remotely, setup is very manual still, and we do not have the ability to install extensions on the headless instances of zed. If you’d like to try it out please reach out to hi@zed.dev and ask to be added to the feature flag.

Getting started with remote development

  • Make sure Zed is v0.133.0 or later (cmd-shift-p About)

[package] name = "recent_projects" version = "0.1.0" edition = "2021" publish = false license = "GPL-3.0-or-later"

[lints] workspace = true

🧟‍♀️
{
"status": 0,
"environment": "Production",
"receipt": {
"receipt_type": "Production",
"adam_id": 1120837655,
"app_item_id": 1120837655,
"bundle_id": "com.superhuman.Superhuman",
"application_version": "8316",
"download_id": 31071900907979,
int firstTime = 1;
while (...) {
if (firstTime) {
firstTime = 0;
} else {
// take reading here.
}
}
hello
hello
hello