Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ma tools/dev: use python37 for default python package

Browse Source 
to have python-language-server again
This commit is contained in:
makefu 2021-12-04 20:30:04 +01:00
parent 84e7a1f222
commit dea261e5c4
No known key found for this signature in database
GPG Key ID: 36F7711F3FC0F225
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
makefu/2configs/tools/dev.nix
View File

@ -2,7 +2,7 @@
{ {
users.users.makefu.packages = with pkgs;[ users.users.makefu.packages = with pkgs;[
(python3.withPackages(ps: [ (python37.withPackages(ps: [
ps.python-language-server ps.python-language-server
# the following plugins are optional, they provide type checking, import sorting and code formatting # 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