# HG changeset patch
# User Tomas Zeman <tomas@functionals.cz>
# Date 1688900441 -7200
# Node ID 3d5c050af88c57481b96c727222cb5abfa923a17
# Parent  99f0e6ebd4064ade5157cd6d0acf7f48659a4f62
idea: fix for 23.1

diff -r 99f0e6ebd406 -r 3d5c050af88c idea.nix
--- a/idea.nix	Thu Mar 16 15:58:34 2023 +0100
+++ b/idea.nix	Sun Jul 09 13:00:41 2023 +0200
@@ -3,7 +3,7 @@
 let
   idea = pkgs.writeScriptBin "idea" ''
     #!${pkgs.bash}/bin/bash
-    export JAVA_HOME=${pkgs.jetbrains.jdk}
+    export IDEA_JDK=${pkgs.jetbrains.jdk}
     exec /opt/idea/bin/idea.sh
   '';