idea.nix
author Tomas Zeman <tomas@functionals.cz>
Wed, 24 Jun 2020 11:35:35 +0200
changeset 12 691c18d04343
parent 1 4a1d6dba7fe5
child 17 133c013b7b7b
permissions -rw-r--r--
fossil pkg
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
4a1d6dba7fe5 idea launcher
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     4
  version = "201.7223.91";
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