# HG changeset patch
# User Tomas Zeman <tomas@functionals.cz>
# Date 1675179971 -3600
# Node ID e01a46f45b02edb0cee962ff948c2940bb789aa7
# Parent  d1243c5a801c7fc531334cf8ff0060913108b679
direnv / nix environment

diff -r d1243c5a801c -r e01a46f45b02 .envrc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.envrc	Tue Jan 31 16:46:11 2023 +0100
@@ -0,0 +1,1 @@
+use nix
diff -r d1243c5a801c -r e01a46f45b02 .hgignore
--- a/.hgignore	Tue Jan 31 16:45:43 2023 +0100
+++ b/.hgignore	Tue Jan 31 16:46:11 2023 +0100
@@ -6,3 +6,4 @@
 .idea
 out
 .idea_modules
+.direnv/
diff -r d1243c5a801c -r e01a46f45b02 shell.nix
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shell.nix	Tue Jan 31 16:46:11 2023 +0100
@@ -0,0 +1,7 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell {
+  buildInputs = with pkgs; [
+    openjdk11
+  ];
+}