From 0c583e986837153352a00e0c185ddbe7ccc2b611 Mon Sep 17 00:00:00 2001
From: William Casarin <jb55@jb55.com>
Date: Wed, 13 Jul 2022 10:40:33 -0700
Subject: [PATCH] direnv envrc

Signed-off-by: William Casarin <jb55@jb55.com>
---
 .envrc     | 5 +++++
 .gitignore | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 .envrc

diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..0b7204f
--- /dev/null
+++ b/.envrc
@@ -0,0 +1,5 @@
+use nix
+
+source .privenv || :
+
+export PATH=$PWD:$PWD/scripts:$PATH
diff --git a/.gitignore b/.gitignore
index 0d78ec1..5b4092f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,6 @@
 *.o
 /.direnv/
-.envrc
+.privenv
 nostril
 /result
 configurator.out*