shell.nix
author Tomas Zeman <tomas@functionals.cz>
Tue, 31 Jan 2023 16:46:11 +0100
changeset 16 e01a46f45b02
permissions -rw-r--r--
direnv / nix environment
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     1
{ pkgs ? import <nixpkgs> {} }:
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     2
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     3
pkgs.mkShell {
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     4
  buildInputs = with pkgs; [
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     5
    openjdk11
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     6
  ];
e01a46f45b02 direnv / nix environment
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     7
}