schmittlauch/nixconfigs
2
0
Fork 0
Code Issues 2 Pull requests Releases Wiki Activity

Compare commits

base: schmittlauch:ec32be92c7a6e7ab4aba7474622ff8ac840018ab
Branches Tags
schmittlauch:mainline
schmittlauch:upgrade-25.11
schmittlauch:darwin-patch-nodejs_20
schmittlauch:workmac
schmittlauch:amd-pmf-debugging
schmittlauch:modularise-config
schmittlauch:flake-conversion
..
compare: schmittlauch:86199f194dc95b9a79f44a523c98a83a1a343cf9
Branches Tags
schmittlauch:mainline
schmittlauch:upgrade-25.11
schmittlauch:darwin-patch-nodejs_20
schmittlauch:workmac
schmittlauch:amd-pmf-debugging
schmittlauch:modularise-config
schmittlauch:flake-conversion

No commits in common. "ec32be92c7a6e7ab4aba7474622ff8ac840018ab" and "86199f194dc95b9a79f44a523c98a83a1a343cf9" have entirely different histories.
ec32be92c7 ... 86199f194d

1 changed files with 10 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

15
home/modules/vscodium.nix
View file

@ -15,7 +15,6 @@
with pkgs.vscode-extensions; with pkgs.vscode-extensions;
[ [
ms-python.python ms-python.python
ms-python.mypy-type-checker
charliermarsh.ruff charliermarsh.ruff
vscodevim.vim vscodevim.vim
yzhang.markdown-all-in-one yzhang.markdown-all-in-one
@ -33,11 +32,17 @@
sha256 = "sha256-Jsfa1SrK1H0QwlJPEBdrb0gfGiIYoXdtIP32/4g+ceM="; sha256 = "sha256-Jsfa1SrK1H0QwlJPEBdrb0gfGiIYoXdtIP32/4g+ceM=";
} }
# TODO: probably available in nixpkgs soonish? # TODO: probably available in nixpkgs soonish?
{
name = "mypy-type-checker";
publisher = "ms-python";
version = "2023.3.12681020";
sha256 = "sha256-rhed7CQlvxksVCGc9nPU2oYQWtXcAV5TzuG63e8Y3zM=";
}
{ {
name = "vscode-pets"; name = "vscode-pets";
publisher = "tonybaloney"; publisher = "tonybaloney";
version = "1.34.0"; version = "1.25.1";
sha256 = "sha256-+4D9QKMB0BsIm8qy4ZNC5H87V21wgLD7ztrYJ/R3UJQ="; sha256 = "sha256-as3e2LzKBSsiGs/UGIZ06XqbLh37irDUaCzslqITEJQ=";
} }
]; ];
userSettings = userSettings =
@ -88,9 +93,9 @@
"python.experiments.enabled" = false; "python.experiments.enabled" = false;
"python.languageServer" = "Jedi"; # don't use proprietary pylance server "python.languageServer" = "Jedi"; # don't use proprietary pylance server
"python.defaultInterpreterPath" = lib.getExe defaultPython; "python.defaultInterpreterPath" = lib.getExe defaultPython;
#"mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ]; "mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ];
"mypy-type-checker.preferDaemon" = true; "mypy-type-checker.preferDaemon" = true;
#"mypy-type-checker.importStrategy" = "fromEnvironment"; "mypy-type-checker.importStrategy" = "fromEnvironment";
"mypy-type-checker.args" = [ "--ignore-missing-imports" ]; "mypy-type-checker.args" = [ "--ignore-missing-imports" ];
"ruff.path" = [ (lib.getExe pkgs.ruff) ]; "ruff.path" = [ (lib.getExe pkgs.ruff) ];
"gitlens.telemetry.enabled" = false; "gitlens.telemetry.enabled" = false;