add envrc to gitignore

This commit is contained in:
Ingolf Wagner 2023-06-13 20:42:58 +02:00
parent a4a197bd8c
commit 0e6bc2de14
No known key found for this signature in database
GPG key ID: 76BF5F1928B9618B
2 changed files with 2 additions and 2 deletions

View file

@ -70,7 +70,7 @@ with lib;
key = "42AC51C9482D0834CF488AF1389EC2D64AC71EAC"; key = "42AC51C9482D0834CF488AF1389EC2D64AC71EAC";
signByDefault = true; signByDefault = true;
}; };
ignores = [ "*.swp" "*~" ".idea" ".*penis.*" "result" ]; ignores = [ "*.swp" "*~" ".idea" ".*penis.*" "result" ".envrc" ];
extraConfig = { extraConfig = {
init.defaultBranch = "main"; init.defaultBranch = "main";
pull.ff = "only"; pull.ff = "only";