From 6b857fa34e586a6493de430231090bd8b34da24b Mon Sep 17 00:00:00 2001
From: David Arnold <david.arnold@iohk.io>
Date: Sat, 29 Jan 2022 19:26:26 -0500
Subject: [PATCH] chore: add support for .direnv

- Loads the devshell more conveniently
---
 .envrc     | 11 +++++++++++
 .gitignore |  1 +
 2 files changed, 12 insertions(+)
 create mode 100644 .envrc

diff --git a/.envrc b/.envrc
new file mode 100644
index 00000000..4fb998c8
--- /dev/null
+++ b/.envrc
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+# reload when these files change
+watch_file flake.nix
+watch_file flake.lock
+
+{
+  # shell gc root dir
+  mkdir -p "$(direnv_layout_dir)"
+  eval "$(nix print-dev-env --no-update-lock-file --no-write-lock-file --profile $(direnv_layout_dir)/flake-profile)"
+}
diff --git a/.gitignore b/.gitignore
index 5baca40e..6726f978 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+/.direnv
 /result*
 /target/
 /tarpaulin*