branch merge
authorTomas Zeman <tomas@functionals.cz>
Wed, 27 May 2020 08:44:12 +0200
changeset 4 956d340b23d8
parent 1 4a1d6dba7fe5 (diff)
parent 3 27522465c8a6 (current diff)
child 5 a844e4f15b4e
branch merge
home.nix
--- a/home.nix	Tue May 26 22:27:51 2020 +0200
+++ b/home.nix	Wed May 27 08:44:12 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:44:12 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 
+