| changeset 1 | 4a1d6dba7fe5 |
| child 17 | 133c013b7b7b |
--- /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 +