summaryrefslogtreecommitdiff
path: root/modules/devenv
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2024-04-12 18:03:11 +0200
committeraristote <quentin.aristote@irif.fr>2024-04-12 18:04:29 +0200
commitb5d680ba1632ca674fa94d0a44dbe64142247140 (patch)
treeb8b1c23fab3e533d6fe1b685322f629512b9e2db /modules/devenv
parent83e927fbd485322b609037d8c10a72402fc47013 (diff)
devenv: ignore pre-commit-config.yaml
Diffstat (limited to 'modules/devenv')
-rw-r--r--modules/devenv/integrations/gitignore.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/devenv/integrations/gitignore.nix b/modules/devenv/integrations/gitignore.nix
index d7a8c3d..bb216a7 100644
--- a/modules/devenv/integrations/gitignore.nix
+++ b/modules/devenv/integrations/gitignore.nix
@@ -44,7 +44,7 @@ in {
.devenv/
.devenv.flake.nix
devenv.local.nix
-
+ .pre-commit-config.yaml
''
+ lib.optionalString (cfg.extra != "") ''
### miscellaneous