From d182b515d8703d7ba36a6bc35661d6924cff569b Mon Sep 17 00:00:00 2001
From: Alexander Heldt <me@alexanderheldt.se>
Date: Sun, 22 Mar 2026 18:35:42 +0100
Subject: [PATCH] pinwheel: Ignore `.direnv` in `intellij`

---
 hosts/pinwheel/modules/work/default.nix | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/hosts/pinwheel/modules/work/default.nix b/hosts/pinwheel/modules/work/default.nix
index bdff793..ab05818 100644
--- a/hosts/pinwheel/modules/work/default.nix
+++ b/hosts/pinwheel/modules/work/default.nix
@@ -24,6 +24,22 @@ in
       precmd_functions+=(_ensure_bash_interactive)
     '';
 
+    # Configure IntelliJ to exclude .direnv from indexing
+    home.activation.intellijIgnoreDirenv = ''
+      for idea_config in $HOME/.config/JetBrains/IntelliJIdea*; do
+        if [ -d "$idea_config" ]; then
+          $DRY_RUN_CMD mkdir -p "$idea_config/options"
+          $DRY_RUN_CMD tee "$idea_config/options/filetypes.xml" > /dev/null <<'EOF'
+<application>
+  <component name="FileTypeManager" version="18">
+    <ignoreFiles list="*.pyc;*.pyo;*.rbc;*.yarb;*~;.DS_Store;.git;.hg;.svn;CVS;__pycache__;_svn;vssver.scc;vssver2.scc;.direnv" />
+  </component>
+</application>
+EOF
+        fi
+      done
+    '';
+
     home.sessionVariables = {
       GITHUB_ACTOR = "Alexander Heldt";
       GITHUB_TOKEN = "$(${pkgs.coreutils}/bin/cat ${config.age.secrets.work-github-token.path})";