Use case
I'm working in an offline/restricted network environment where:
- I have a local PyPI mirror (can install packages)
- No access to github.com (cannot download standalone Python builds)
- I have a local Python 3.12 venv with
python-lsp-server and python-lsp-ruff already installed
I'd like to use the marimo VSCode extension in this setup.
Current behavior
The extension (v0.10.4) tries to install ruff via bundled uv with UV_PYTHON=3.10, which attempts to download a standalone Python 3.10 build from github.com/astral-sh/python-build-standalone. This fails in my environment, and the extension doesn't fall back to using the local Python interpreter or existing LSP packages.
Suggestion
It would be great if the extension could:
- Reuse an existing
python-lsp-server / python-lsp-ruff from the user's environment
- Or use the available Python interpreter instead of requiring a specific Python 3.10 download
- Or make the Python version / LSP source configurable
This would make the extension usable in air-gapped or restricted network environments.