diff options
author | makefu <github@syntax-fehler.de> | 2021-12-04 21:27:30 +0100 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2021-12-04 21:27:30 +0100 |
commit | 6227121c8b1d908c9f1ab10de5c848335b3b041a (patch) | |
tree | f71789229f469235ef3817b616e44aae45216f43 | |
parent | c5d9a64a5bf939ee7a1a2971dab0e749f5215ecb (diff) |
ma tools/dev: remove remaining parts which pull in python-language-server
-rw-r--r-- | 2configs/tools/dev.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/2configs/tools/dev.nix b/2configs/tools/dev.nix index 3dae8a159..918d950f2 100644 --- a/2configs/tools/dev.nix +++ b/2configs/tools/dev.nix @@ -5,7 +5,8 @@ (python3.withPackages(ps: [ #ps.python-language-server # the following plugins are optional, they provide type checking, import sorting and code formatting - ps.pyls-mypy ps.pyls-isort ps.pyls-black + # ps.pyls-mypy ps.pyls-isort ps.pyls-black + ps.virtualenv ps.pyserial ps.virtualenv ])) # embedded |