diff --git a/.envrc b/.envrc new file mode 100644 index 000000000..3550a30f2 --- /dev/null +++ b/.envrc @@ -0,0 +1 @@ +use flake diff --git a/.gitignore b/.gitignore index 219c4eda8..4b4fdbbf6 100644 --- a/.gitignore +++ b/.gitignore @@ -146,6 +146,7 @@ result result-* .vscode/ +.direnv/ # clangd and possibly more .cache/