add direnv
This commit is contained in:
parent
fc7d6517c5
commit
3710d38188
2 changed files with 3 additions and 1 deletions
1
.envrc
Normal file
1
.envrc
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
use flake
|
||||||
3
.gitignore
vendored
3
.gitignore
vendored
|
|
@ -10,4 +10,5 @@ __pycache__/
|
||||||
|
|
||||||
# nix
|
# nix
|
||||||
result/
|
result/
|
||||||
result-*
|
result-*
|
||||||
|
.direnv/
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue