| changeset 18 | 343402e5861e |
| parent 17 | 133c013b7b7b |
| child 26 | 3d5c050af88c |
| 17:133c013b7b7b | 18:343402e5861e |
|---|---|
1 { pkgs, ... }: |
1 { pkgs, ... }: |
2 |
2 |
3 let |
3 let |
4 version = "202.7319.50"; |
|
5 |
|
6 idea = pkgs.writeScriptBin "idea" '' |
4 idea = pkgs.writeScriptBin "idea" '' |
7 #!${pkgs.bash}/bin/bash |
5 #!${pkgs.bash}/bin/bash |
8 export JAVA_HOME=${pkgs.jetbrains.jdk} |
6 export JAVA_HOME=${pkgs.jetbrains.jdk} |
9 exec /opt/idea-IC-${version}/bin/idea.sh |
7 exec /opt/idea/bin/idea.sh |
10 ''; |
8 ''; |
11 |
9 |
12 in { |
10 in { |
13 home.packages = [ |
11 home.packages = [ |
14 idea |
12 idea |