Pin Java to JDK17

This commit is contained in:
GHOSCHT 2024-10-21 11:22:07 +02:00
parent 7f234717f5
commit 1da72f7350
Signed by: ghoscht
GPG key ID: 2C2C1C62A5388E82

View file

@ -1,5 +1,8 @@
{pkgs, ...}: {
home.packages = with pkgs.unstable; [
(jetbrains.plugins.addPlugins jetbrains.idea-ultimate ["ideavim"])
home.packages = [
(pkgs.unstable.jetbrains.plugins.addPlugins pkgs.unstable.jetbrains.idea-ultimate ["ideavim"])
];
home.sessionVariables = {
JAVA_HOME = "${pkgs.jdk17}/lib/openjdk";
};
}