feat(webis): update ssh config and add pycharm

dev-docs
Moritz Böhme 2023-07-03 09:35:38 +02:00
parent d256af3536
commit ac05291df4
Signed by: moritz
GPG Key ID: 970C6E89EB0547A9
2 changed files with 5 additions and 0 deletions

View File

@ -1,5 +1,6 @@
{ lib { lib
, config , config
, pkgs
, ... , ...
}: }:
@ -24,5 +25,9 @@ in
updateResolvConf = true; updateResolvConf = true;
}; };
}; };
environment.systemPackages = with pkgs; [
jetbrains.pycharm-professional
];
programs.dconf.enable = true;
}; };
} }

Binary file not shown.