Docs for installing extensions

docs/datamodel/extensions.rst

@@ -8,10 +8,66 @@ Extensions are the way EdgeDB adds more functionality. In principle,
 extensions could add new types, scalars, functions, etc., but, more
 importantly, they can add new ways of interacting with the database.
 
+Built-in extensions
+-------------------
+
+There is a few built-in extensions available:
+
 - ``edgeql_http``: enables :ref:`EdgeQL over HTTP <ref_edgeql_http>`
 - ``graphql``: enables :ref:`GraphQL <ref_graphql_index>`
 - ``auth``: enables :ref:`EdgeDB Auth <ref_guide_auth>`
 
+.. _ref_datamodel_using_extension:
+
+To enable these extensions, they need to be declared in the schema via ``using``
+statement:
+
+.. code:: sdl
+
+    using extension auth;
+
+
+Standalone extensions
+---------------------
+
+Additionally, standalone extension packages can be installed via the CLI:
+
+.. code:: bash
+
+    $ edgedb extension list -I my_instance
+    ┌─────────┬─────────┐
+    │ Name    │ Version │
+    └─────────┴─────────┘
+
+    $ edgedb extension list-available -I my_instance
+    ┌─────────┬───────────────┐
+    │ Name    │ Version       │
+    │ postgis │ 3.4.3+6b82d77 │
+    └─────────┴───────────────┘
+
+    $ edgedb extension install -I my_instance -E postgis
+    Found extension package: postgis version 3.4.3+6b82d77
+    00:00:03 [====================] 22.49 MiB/22.49 MiB
+    Extension 'postgis' installed successfully.
+
+    $ edgedb extension list -I my_instance
+    ┌─────────┬───────────────┐
+    │ Name    │ Version       │
+    │ postgis │ 3.4.3+6b82d77 │
+    └─────────┴───────────────┘
+
+After installing extensions, make sure to restart your instance:
+
+.. code:: bash
+
+    $ edgedb instance restart -I my_instance
+
+Standalone extensions can now be declared in the schema, same as :ref:`built-in
+extensions <ref_datamodel_using_extension>`.
+
+To restore a dump that uses a standalone extension, that extension has installed
+before the restore process.
+
 
 .. list-table::
   :class: seealso

setup.py

@@ -550,7 +550,6 @@ def _compile_cli(build_base, build_temp):
         check=True,
     )
 
-
     for dest in ('gel', 'edgedb'):
         cli_dest = ROOT_PATH / 'edb' / 'cli' / dest
         # Delete the target first, to avoid "Text file busy" errors during