Add initial DevEnv.

2025-10-05 12:22:21 +02:00
parent 31765f9db3
commit 029a68032f
5 changed files with 169 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -182,3 +182,13 @@ result-*
 # Ignore automatically generated direnv output
 .direnv

+
+# Devenv
+.devenv*
+devenv.local.nix
+
+# direnv
+.direnv
+
+# pre-commit
+.pre-commit-config.yaml