From 5f13ce6d7d948b94cd0aec3a8ccd3aed01cc4ffe Mon Sep 17 00:00:00 2001 From: Finn Evers Date: Sun, 19 Oct 2025 16:30:01 +0200 Subject: [PATCH] docs: Update section about installing extensions locally (#40636) Release Notes: - N/A --- docs/src/extensions/developing-extensions.md | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/docs/src/extensions/developing-extensions.md b/docs/src/extensions/developing-extensions.md index b624077a7ef99c4ebf4ccd9e9c66382388392b60..5fdff6ff0810f6075d43c91af5a5f22e1d154d21 100644 --- a/docs/src/extensions/developing-extensions.md +++ b/docs/src/extensions/developing-extensions.md @@ -23,11 +23,7 @@ From the extensions page, click the `Install Dev Extension` button (or the {#act If you need to troubleshoot, you can check the Zed.log ({#action zed::OpenLog}) for additional output. For debug output, close and relaunch zed with the `zed --foreground` from the command line which show more verbose INFO level logging. -If you already have a published extension with the same name installed, your dev extension will override it. - -After installing, the `Extensions` page will indicate that the upstream extension is "Overridden by dev extension". - -Pre-installed extensions with the same name have to be uninstalled before installing the dev extension. See [#31106](https://github.com/zed-industries/zed/issues/31106) for more. +If you already have the published version of the extension installed, the published version will be uninstalled prior to the installation of the dev extension. After successful installation, the `Extensions` page will indicate that the upstream extension is "Overridden by dev extension". ## Directory Structure of a Zed Extension