| changeset 17 | 133c013b7b7b |
| parent 1 | 4a1d6dba7fe5 |
| child 18 | 343402e5861e |
| 16:f95667c50320 | 17:133c013b7b7b |
|---|---|
1 { pkgs, ... }: |
1 { pkgs, ... }: |
2 |
2 |
3 let |
3 let |
4 version = "201.7223.91"; |
4 version = "202.7319.50"; |
5 |
5 |
6 idea = pkgs.writeScriptBin "idea" '' |
6 idea = pkgs.writeScriptBin "idea" '' |
7 #!${pkgs.bash}/bin/bash |
7 #!${pkgs.bash}/bin/bash |
8 export JAVA_HOME=${pkgs.jetbrains.jdk} |
8 export JAVA_HOME=${pkgs.jetbrains.jdk} |
9 exec /opt/idea-IC-${version}/bin/idea.sh |
9 exec /opt/idea-IC-${version}/bin/idea.sh |