Compare commits

..

No commits in common. "adcfb11f72d00bba247c6d4d5e8fb12f50a76163" and "b5ac576fa99bde8412b7c36060bb85a1d41a1c6d" have entirely different histories.

View file

@ -189,7 +189,6 @@ let
gitui
lazygit
pre-commit
scriv
# Haskell
ghc
@ -345,11 +344,7 @@ in
}
];
userSettings = let
defaultPython = pkgs.python3.withPackages (ps: [
ps.jedi ps.jedi-language-server
ps.pip ps.setuptools # for pkg_resources
ps.black ps.mypy
]);
defaultPython = pkgs.python3.withPackages (ps: [ps.jedi ps.jedi-language-server ps.pip ps.black ps.mypy]);
in {
"editor.fontLigatures" = true;
"window.autoDetectColorScheme" = true;
@ -382,9 +377,6 @@ in
"black-formatter.importStrategy" = "fromEnvironment";
"mypy-type-checker.path" = ["${pkgs.python3Packages.mypy}/bin/mypy"];
"mypy-type-checker.importStrategy" = "fromEnvironment";
"mypy-type-checker.args" = [
"--ignore-missing-imports"
];
"gitlens.telemetry.enabled" = false;
"vim.highlightedyank.enable" = true;
"vim.history" = 500;