Merge pull request 'direnv: yes' (!50) from direnv into main

Reviewed-on: #50 Reviewed-by: Oystein Kristoffer Tveit <oysteikt@pvv.ntnu.no>
2024-08-04 02:46:18 +02:00 · 2024-08-04 02:46:18 +02:00 · e5e3100639
commit e5e3100639
parent 5853e42c1b 510f385f4a
2 changed files with 2 additions and 0 deletions
--- a/.envrc
+++ b/.envrc
@ -0,0 +1 @@
+use flake
--- a/.gitignore
+++ b/.gitignore
@ -1,2 +1,3 @@
 result*
 /configuration.nix
+/.direnv/