Merge pull request #322650 from tweag/direnv

Direnv support
This commit is contained in:
Silvan Mosberger 2024-07-08 19:25:26 +02:00 committed by GitHub
commit c94140085c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 3 additions and 0 deletions

1
.envrc Normal file
View File

@ -0,0 +1 @@
use nix

1
.github/CODEOWNERS vendored
View File

@ -19,6 +19,7 @@
# Develompent support
/.editorconfig @Mic92 @zowoq
/shell.nix @infinisil @NixOS/Security
/.envrc @infinisil @NixOS/Security
# Libraries
/lib @infinisil

1
.gitignore vendored
View File

@ -19,6 +19,7 @@ tags
/doc/manual.pdf
/source/
.version-suffix
.direnv
.DS_Store
.mypy_cache