From 7005aaa54d84c1b81a92168a1bd8b2c933753c2f Mon Sep 17 00:00:00 2001 From: Mikayla Maki Date: Mon, 10 Jun 2024 12:03:47 -0700 Subject: [PATCH] Update linux.md --- docs/src/development/linux.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/development/linux.md b/docs/src/development/linux.md index 2a18a26fde..1a12a8e05d 100644 --- a/docs/src/development/linux.md +++ b/docs/src/development/linux.md @@ -92,7 +92,7 @@ At Zed, our priority has been to move fast and bring the latest technology to ou However, we realize that many distros have other priorities. We want to work with everyone to bring Zed to their favorite platforms. But there is a long way to go: * Zed is a fast moving early-phase project. We typically release 2-3 builds a week to fix user-reported issues and release major features. -* There are a couple of other `zed` binaries that may be present on linux systems ([1](https://openzfs.github.io/openzfs-docs/man/v2.2/8/zed.8.html), [2](https://zed.brimdata.io/docs/commands/zed)). If you want to rename the Zed binary because of these issues, we suggest `zedit`, `zeditor`, or `zed-cli`. +* There are a couple of other `zed` binaries that may be present on linux systems ([1](https://openzfs.github.io/openzfs-docs/man/v2.2/8/zed.8.html), [2](https://zed.brimdata.io/docs/commands/zed)). If you want to rename our CLI binary because of these issues, we suggest `zedit`, `zeditor`, or `zed-cli`. * Zed automatically installs the correct version of common developer tools in the same way as rustup/rbenv/pyenv, etc. We understand that this is contentious, [see here](https://github.com/zed-industries/zed/issues/12589). * We allow users to install extensions on their own and from [zed-industries/extensions](https://github.com/zed-industries/extensions). These extensions may install further tooling as needed, such as language servers. In the long run we would like to make this safer, [see here](https://github.com/zed-industries/zed/issues/12358). * Zed connects to a number of online services by default (AI, telemetry, collaboration). AI and our telemetry can be disabled by your users with their own zed settings or by patching our [default settings file](https://github.com/zed-industries/zed/blob/main/assets/settings/default.json).