diff options
| -rw-r--r-- | srv/hadante/configuration.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/srv/hadante/configuration.nix b/srv/hadante/configuration.nix index d28d712..fb02aa3 100644 --- a/srv/hadante/configuration.nix +++ b/srv/hadante/configuration.nix @@ -196,15 +196,16 @@ in } ) javas) // { - ".gradle/gradle.properties".text = '' - org.gradle.java.installations.paths=${ - builtins.concatStringsSep "," ( + ".gradle/gradle.properties".source = + (pkgs.formats.javaProperties { }).generate "gradle.properties" { + "org.gradle.java.installations.paths" = builtins.concatStringsSep "," ( builtins.map (name: "/home/" + config.user + "/.jdks/" + name + "/lib/openjdk") ( builtins.attrNames javas ) - ) + ); } - ''; + + ; ".cargo/config.toml".text = '' [net] git-fetch-with-cli = true |