home

commit f596a618c15bd0c7f20218c9e629b091717f9830
parent c1b872f2b01610289ff6aa3e4f32a644cc170134
Author: Vincent Demeester <vincent@sbr.pm>
Date:   Sat, 16 Mar 2019 14:58:56 +0100

dev.java: add package to be able to custom java package

Signed-off-by: Vincent Demeester <vincent@sbr.pm>

Diffstat:
M
machines/hokkaido.nix
 | 
1
+
M
modules/profiles/dev.java.nix
 | 
7
++++++-

2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/machines/hokkaido.nix b/machines/hokkaido.nix
@@ -8,6 +8,7 @@
   profiles.dev = {
     go.enable = true;
     rust.enable = true;
+    java = { enable = true; javaPackage = pkgs.jre; };
   };
   profiles.laptop.enable = true;
   profiles.media.enable = true;
diff --git a/modules/profiles/dev.java.nix b/modules/profiles/dev.java.nix
@@ -12,6 +12,11 @@ in
         description = "Enable java development profile";
         type = types.bool;
       };
+      javaPackage = mkOption {
+        default = pkgs.jdk;
+        description = "Java package to use";
+        type = types.package;
+      };
       idea = mkOption {
         default = false;
         description = "Install intellij idea";
@@ -23,7 +28,7 @@ in
     {
       profiles.dev.enable = true;
       home.packages = with pkgs; [
-        jdk
+        cfg.javaPackage
         gradle
       ];
     }