From cede3bf0cd88728441d94fb9715678eb19bc0a10 Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Thu, 21 Mar 2024 17:05:02 +0100
Subject: shell(ux): enter into the default devshell via nix-direnv

This makes the switch into Aeneas' development environment "seamless" for direnv users.

https://direnv.net/
https://github.com/nix-community/nix-direnv
Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
---
 .envrc | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .envrc

(limited to '.envrc')

diff --git a/.envrc b/.envrc
new file mode 100644
index 00000000..3550a30f
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
-- 
cgit v1.2.3