From 9db269735db388b0c6a899e65f8dca3cd9dfd31d Mon Sep 17 00:00:00 2001 From: Mikayla Maki Date: Mon, 10 Jun 2024 12:01:56 -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 e83225fe92..2a18a26fde 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)). +* 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`. * 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).