diff options
| author |  sommerfeld <sommerfeld@sommerfeld.dev> | 2026-05-14 11:43:18 +0100 |
|---|---|---|
| committer | sommerfeld <sommerfeld@sommerfeld.dev> | 2026-05-14 11:43:18 +0100 |
| commit | 0a0d087b2125b6c7b6461d58f57265bc56b3b22b (patch) | |
| tree | 9afe7631dba8cd50f918060338d1cac3ef2ca3a1 /dot_config/gdb/gdbinit | |
| parent | 719d4c5518bda64bd0f8ab8b20d9cb2fe84b5666 (diff) | |
| download | dotfiles-0a0d087b2125b6c7b6461d58f57265bc56b3b22b.tar.gz dotfiles-0a0d087b2125b6c7b6461d58f57265bc56b3b22b.tar.bz2 dotfiles-0a0d087b2125b6c7b6461d58f57265bc56b3b22b.zip | |
fix(remote-dev): expose python3.11 (versioned-only) for Mason pip installs
Ubuntu 20.04's stock python3 is 3.8.10, which fails Mason's pep440
checks for autotools-language-server, codespell, mdformat,
nginx-language-server, systemdlint, yamllint (all want >=3.9 or
>=3.10).
Mason's pypi installer (verified against upstream
lua/mason-core/installer/managers/pypi.lua) probes python3.6 through
python3.14 in PATH in addition to plain python3, so providing
python3.11 alone (without python3) is enough.
Add a thin runCommand derivation that symlinks ONLY
pkgs.python311/bin/python3.11 into the profile — not python3 or
python — so we don't shadow Ubuntu's /usr/bin/python3 and keep the
leaf-tools policy intact.
Diffstat (limited to 'dot_config/gdb/gdbinit')
0 files changed, 0 insertions, 0 deletions