primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 22:59:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nix: remove extraPackages.university option

Browse source
This commit is contained in:
Primrose 2024-09-28 22:25:41 +02:00
parent 5d22699717
commit 60384f88fd
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 4 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

11
nix/homeModules/packages/default.nix
View file

@ -13,7 +13,6 @@ in
options.extraPackages = {
utilities.enable = lib.mkEnableOption "utility packages";
workflow.enable = lib.mkEnableOption "worflow packages";
university.enable = lib.mkEnableOption "university related packages";
};
config = {
@ -72,16 +71,6 @@ in
pkgs.act
pkgs.forgejo-actions-runner
])
(lib.mkIf config.extraPackages.university.enable [
pkgs.rars
myPkgs.logisim-evolution
myPkgs.necrolib
myPkgs.why3
myPkgs.isabelle-wrapped
pkgs.hol
])
];
};
}