commit 0c583e986837153352a00e0c185ddbe7ccc2b611
parent d52b057121f42d7fdf2627a75b900f23f005edb1
Author: William Casarin <jb55@jb55.com>
Date: Wed, 13 Jul 2022 10:40:33 -0700
direnv envrc
Signed-off-by: William Casarin <jb55@jb55.com>
Diffstat:
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/.envrc b/.envrc
@@ -0,0 +1,5 @@
+use nix
+
+source .privenv || :
+
+export PATH=$PWD:$PWD/scripts:$PATH
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,6 @@
*.o
/.direnv/
-.envrc
+.privenv
nostril
/result
configurator.out*