summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2025-04-29 18:42:04 +0200
committeraristote <quentin.aristote@irif.fr>2025-04-29 18:45:21 +0200
commitf05a8bfc8aba1f141396097750279ae7616a6b5d (patch)
tree002069e6c5ef0fa6bfaeba1c1ae812c0ec8dfc07
parent8597c366775e78d94179bb7bdb3609db810eb038 (diff)
home: git: ignore devenv
-rw-r--r--modules/home-manager/personal/programs/git.nix5
1 files changed, 5 insertions, 0 deletions
diff --git a/modules/home-manager/personal/programs/git.nix b/modules/home-manager/personal/programs/git.nix
index 9c81109..40f10bb 100644
--- a/modules/home-manager/personal/programs/git.nix
+++ b/modules/home-manager/personal/programs/git.nix
@@ -34,6 +34,11 @@ in {
# direnv
.envrc
+ # devenv
+ .devenv.flake.nix
+ .devenv/
+ devenv.local.nix
+
# Nix
shell.nix
.nix-gc-roots