Better organized development configurations

This commit is contained in:
Filippo Berto 2022-12-23 21:21:46 +01:00
parent f5ed37a7fb
commit f93a17a74f
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056
21 changed files with 70 additions and 52 deletions

View file

@ -1,7 +0,0 @@
{ pkgs, ... }: {
home.packages = with pkgs; [
jetbrains.pycharm-professional
python3
# pypy3
];
}