1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-12-17 14:31:09 +01:00

treewide: use mkPackageOption (#6727)

This commit is contained in:
Austin Horstman 2025-03-29 11:48:55 -05:00 committed by GitHub
parent 1f679ed2a2
commit f1d4acaa10
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
29 changed files with 39 additions and 195 deletions

View file

@ -21,14 +21,9 @@ in {
'';
};
package = mkOption {
type = types.package;
default = pkgs.jdk;
defaultText = "pkgs.jdk";
description = ''
Java package to install. Typical values are
`pkgs.jdk` or `pkgs.jre`.
'';
package = lib.mkPackageOption pkgs "java" {
default = "jdk";
example = "pkgs.jre";
};
};
};