From 44a3caeea6cb0e3818ab528dd710c2de345e2fc5 Mon Sep 17 00:00:00 2001
From: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Date: Sat, 2 Nov 2024 18:40:17 +0100
Subject: [PATCH] Add .envrc

---
 .envrc     | 3 +++
 .gitignore | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 .envrc

diff --git a/.envrc b/.envrc
new file mode 100644
index 00000000..b64b0b39
--- /dev/null
+++ b/.envrc
@@ -0,0 +1,3 @@
+if has nix; then
+   use flake
+fi
diff --git a/.gitignore b/.gitignore
index 90c9d8a3..3304249f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,4 +24,5 @@ pnpm-debug.log*
 result
 
 #*#
-*~
\ No newline at end of file
+*~
+/.direnv/