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 | a479db862635872461d0db5ded693e6e13f3c62b (patch) | |
tree | d24eaaa1a879733f14652e1436818d0d2df8d539 | |
parent | 7ca789f598c856ceda3ac55d028ab5a8a8a1e6a2 (diff) |
ma tools/dev: remove remaining parts which pull in python-language-server
-rw-r--r-- | makefu/2configs/tools/dev.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/makefu/2configs/tools/dev.nix b/makefu/2configs/tools/dev.nix index 3dae8a159..918d950f2 100644 --- a/makefu/2configs/tools/dev.nix +++ b/makefu/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 |