idea.nix
author Tomas Zeman <tomas@functionals.cz>
Thu, 24 Sep 2020 11:58:38 +0200
changeset 17 133c013b7b7b
parent 1 4a1d6dba7fe5
child 18 343402e5861e
permissions -rw-r--r--
idea: upgrade -> 2020.2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     1
{ pkgs, ... }:
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     2
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     3
let
17
133c013b7b7b idea: upgrade -> 2020.2
Tomas Zeman <tomas@functionals.cz>
parents: 1
diff changeset
     4
  version = "202.7319.50";
1
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     5
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     6
  idea = pkgs.writeScriptBin "idea" ''
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     7
    #!${pkgs.bash}/bin/bash
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     8
    export JAVA_HOME=${pkgs.jetbrains.jdk}
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     9
    exec /opt/idea-IC-${version}/bin/idea.sh
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    10
  '';
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    11
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    12
in {
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    13
  home.packages = [
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    14
    idea
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    15
  ];
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    16
}
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    17
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    18
# vim: ts=2 sw=2 et 
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    19