From 2e1fadd013ff6fac195e2d43131fcc0ba864fec3 Mon Sep 17 00:00:00 2001 From: kloud-bot Date: Tue, 2 Jun 2026 09:48:15 +0000 Subject: [PATCH 1/2] =?UTF-8?q?=F0=9F=94=84=20Sync=20shared=20files=20from?= =?UTF-8?q?=20`ws-meta`?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .vitepress/data/dependencies.yaml | 9 +++++++++ .vitepress/data/extensions.yaml | 7 ++++++- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/.vitepress/data/dependencies.yaml b/.vitepress/data/dependencies.yaml index 3958037..b0a4184 100644 --- a/.vitepress/data/dependencies.yaml +++ b/.vitepress/data/dependencies.yaml @@ -564,6 +564,15 @@ dependencies: tool: true version: 4.0.5 + pyrefly: + cmd: pyrefly --version + datasource: pypi + group: Python + home: https://github.com/facebook/pyrefly + license: MIT + tool: true + version: 1.0.0 + Python: cmd: python3 --version datasource: deb diff --git a/.vitepress/data/extensions.yaml b/.vitepress/data/extensions.yaml index 1a7df32..7032eb8 100644 --- a/.vitepress/data/extensions.yaml +++ b/.vitepress/data/extensions.yaml @@ -38,7 +38,7 @@ extensions: name: Ruff license: MIT home: https://github.com/astral-sh/ruff-vscode - version: 2026.38.0 + version: 2026.46.0 DavidAnson.vscode-markdownlint: name: markdownlint @@ -75,6 +75,11 @@ extensions: license: ISC home: https://github.com/ludwhe/vscode-uuid + meta.pyrefly: + name: Pyrefly + license: MIT + home: https://github.com/facebook/pyrefly + mikestead.dotenv: name: DotENV license: MIT From 1d4cb5317b50062bc9d0d890521e30f114657b54 Mon Sep 17 00:00:00 2001 From: Dov Benyomin Sohacheski Date: Tue, 2 Jun 2026 12:59:04 +0300 Subject: [PATCH 2/2] =?UTF-8?q?=F0=9F=9A=80=20Swap=20jedi=20for=20pyrefly?= =?UTF-8?q?=20in=20Python=20docs?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.8 (1M context) --- docs/tools/python.md | 24 ++++++++---------------- 1 file changed, 8 insertions(+), 16 deletions(-) diff --git a/docs/tools/python.md b/docs/tools/python.md index 5c2e330..172ad7c 100644 --- a/docs/tools/python.md +++ b/docs/tools/python.md @@ -17,7 +17,7 @@ Key features provided *out‑of‑the‑box*: - Both `pip` and the lightning‑fast `uv` package manager. - Automatic virtual environment activation when navigating into project directories. - Opinionated linting & formatting with `ruff` its IDE extension. -- Language‑intelligence powered by *Jedi* *(Pylance is unavailable in non‑official VS Code builds)*. +- Language‑intelligence powered by Meta's **Pyrefly** language server — Rust‑based, type‑aware, fast. - Pre‑generated `IPython` *(itself, not pre‑installed)* profile that matches the Kloud Workspace color palette. @@ -70,20 +70,15 @@ ws-cli template apply ruff For more details, refer to the [`ws-cli` documentation](/tools/ws-cli#templates-ws-template). -## IDE Compatibility & Language Server +## Language Server -Kloud Workspace aims to provide the best Python development experience. -However, due to licensing constraints, limitations exist in language server integrations. +Kloud Workspace ships **Meta's Pyrefly** as the Python language server — Rust‑based, +type‑aware, and dramatically faster than alternatives. Strict type checking is on by +default and honors the standard configuration knobs. -Kloud Workspace is *not* an official Microsoft build of VS Code, and therefore, the proprietary -[Pylance][] extension and language server is not available. - -Instead, Kloud Workspace ship the open-source [Jedi Language Server][], offering robust language -server features such as: - -- Blazing‑fast code completion. -- Go‑to‑definition & symbol search. -- Basic refactorings. +If you prefer a lighter‑weight LSP, override the editor settings via +`WS_EDITOR_SETTINGS_MERGE` to disable `python.pyrefly.*` and select your preferred +language server. ## Optional Interactive Shell @@ -99,6 +94,3 @@ whose prompt colors and syntax‑highlighting align with the Kloud Workspace's o Once IPython is installed it will pick up these settings automatically, no additional configuration required. - -[Pylance]: https://marketplace.visualstudio.com/items?itemName=ms-python.vscode-pylance -[Jedi Language Server]: https://github.com/pappasam/jedi-language-server