docs: Add documentation for `auto_install_extensions` setting (#19559)

Tom Zaspel and Peter Tripp created 1 year ago

Improved: Documenation for (un)installing extensions automatically.

Signed-off-by: Tom Zaspel <[e-mail]>
Co-authored-by: Peter Tripp <[e-mail]>

Change summary

docs/src/configuring-zed.md                  | 34 ++++++++++++++++++++++
docs/src/extensions/installing-extensions.md |  4 ++
2 files changed, 38 insertions(+)

Detailed changes

docs/src/configuring-zed.md

@@ -39,6 +39,40 @@ Extensions that provide language servers may also provide default settings for t
 
 `float` values
 
+## Auto Install extensions
+
+- Description: Define extensions to be autoinstalled or never be installed.
+- Setting: `auto_install_extension`
+- Default: `{"html": true}`
+
+**Options**
+
+You can find the names of your currently installed extensions by listing the subfolders under the [extension installation location](./extensions/installing-extensions#installation-location):
+
+On MacOS:
+
+```sh
+ls ~/Library/Application\ Support/Zed/extensions/installed/
+```
+
+On Linux:
+
+```sh
+ls ~/.local/share/zed/extensions/installed
+```
+
+Define extensions which should be installed (`true`) or never installed (`false`).
+
+```json
+{
+  "auto_install_extensions": {
+    "html": true,
+    "dockerfile": true,
+    "docker-compose": false
+  }
+}
+```
+
 ## Autosave
 
 - Description: When to automatically save edited buffers.

docs/src/extensions/installing-extensions.md

@@ -13,3 +13,7 @@ This directory contains two subdirectories:
 
 - `installed`, which contains the source code for each extension.
 - `work` which contains files created by the extension itself, such as downloaded language servers.
+
+## Auto installing
+
+To automate extension installation/uninstallation see the docs for [auto_install_extensions](../configuring-zed.md#auto-install-extensions).