From 1378d6e002b7ecffc17010b1c4b7d09893b8f8ee Mon Sep 17 00:00:00 2001 From: NotAShelf Date: Mon, 16 Sep 2024 10:29:13 +0000 Subject: [PATCH] deploy: cb7ff874e2199ba8a4f87cbaa39bdff0d4d28484 --- options.html | 6 +++--- release-notes.html | 4 +++- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/options.html b/options.html index 6bfffa7..caca177 100644 --- a/options.html +++ b/options.html @@ -11474,7 +11474,7 @@ boolean

package or list of string

Default: -<derivation pyright-1.1.378>

+<derivation basedpyright-1.17.4>

Example: "[lib.getExe pkgs.jdt-language-server \"-data\" \"~/.cache/jdtls/workspace\"]"

@@ -11498,10 +11498,10 @@ package or list of string

Python LSP server to use

Type: -value “pyright” (singular enum)

+one of “basedpyright”, “pyright”, “python-lsp-server”

Default: -"pyright"

+"basedpyright"

Declared by:

diff --git a/release-notes.html b/release-notes.html index 6a7e2df..7ce1612 100644 --- a/release-notes.html +++ b/release-notes.html @@ -197,7 +197,9 @@ being.

ppenguin:

+new format.

  • Add basedpyright as a Python LSP +server and make it default.

  • Add python-lsp-server as an +additional Python LSP server.

    • ppenguin: