idea launcher
authorTomas Zeman <tomas@functionals.cz>
Wed, 27 May 2020 08:42:01 +0200
changeset 1 4a1d6dba7fe5
parent 0 0bfc10663494
child 4 956d340b23d8
idea launcher
home.nix
idea.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
--- /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 
+