feat: add jetbrains module

This commit is contained in:
Moritz Böhme 2024-05-27 15:09:37 +02:00
parent b526cfc6f8
commit f6174bc0ba
No known key found for this signature in database
GPG key ID: 970C6E89EB0547A9
4 changed files with 131 additions and 6 deletions

View file

@ -4,16 +4,23 @@
, ...
}:
with lib;
let
cfg = config.my.profiles.webis;
inherit (lib) mkEnableOption mkIf;
in
{
options.my.profiles.webis.enable = mkEnableOption "webis profile";
config = mkIf cfg.enable {
my.programs.ssh.includeSecrets = [ ../../secrets/webis-ssh.age ];
my.programs = {
ssh.includeSecrets = [ ../../secrets/webis-ssh.age ];
jetbrains = {
pycharm.enable = true;
pycharm.package = pkgs.jetbrains.pycharm-professional;
};
};
age.secrets.webis = {
file = ../../secrets/webis.age;
name = "webis.ovpn";
@ -25,9 +32,6 @@ in
updateResolvConf = true;
};
};
environment.systemPackages = with pkgs; [
jetbrains.pycharm-professional
];
programs.dconf.enable = true;
};
}