# HG changeset patch
# User Tomas Zeman <tomas@functionals.cz>
# Date 1590561721 -7200
# Node ID 4a1d6dba7fe53280be60d7a04e69c3ad138b7bb5
# Parent  0bfc1066349417c11bad244a6c05f965f9e3fa9f
idea launcher

diff -r 0bfc10663494 -r 4a1d6dba7fe5 home.nix
--- a/home.nix	Wed May 20 22:17:53 2020 +0200
+++ b/home.nix	Wed May 27 08:42:01 2020 +0200
@@ -9,14 +9,9 @@
 in
 
 {
-  home.file."bin/idea" = {
-    text = ''
-      #!${pkgs.bash}/bin/bash
-      export JAVA_HOME=${pkgs.jetbrains.jdk}
-      exec /opt/idea-IC-201.7223.91/bin/idea.sh
-    '';
-    executable = true;
-  };
+  imports = [
+    ./idea.nix
+  ];
 
   home.packages = [
     my-nur.guilt
diff -r 0bfc10663494 -r 4a1d6dba7fe5 idea.nix
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/idea.nix	Wed May 27 08:42:01 2020 +0200
@@ -0,0 +1,19 @@
+{ pkgs, ... }:
+
+let
+  version = "201.7223.91";
+
+  idea = pkgs.writeScriptBin "idea" ''
+    #!${pkgs.bash}/bin/bash
+    export JAVA_HOME=${pkgs.jetbrains.jdk}
+    exec /opt/idea-IC-${version}/bin/idea.sh
+  '';
+
+in {
+  home.packages = [
+    idea
+  ];
+}
+
+# vim: ts=2 sw=2 et 
+