idea.nix
changeset 18 343402e5861e
parent 17 133c013b7b7b
child 26 3d5c050af88c
--- a/idea.nix	Thu Sep 24 11:58:38 2020 +0200
+++ b/idea.nix	Sat Oct 10 14:30:10 2020 +0200
@@ -1,12 +1,10 @@
 { pkgs, ... }:
 
 let
-  version = "202.7319.50";
-
   idea = pkgs.writeScriptBin "idea" ''
     #!${pkgs.bash}/bin/bash
     export JAVA_HOME=${pkgs.jetbrains.jdk}
-    exec /opt/idea-IC-${version}/bin/idea.sh
+    exec /opt/idea/bin/idea.sh
   '';
 
 in {