From b9ea744435f109db044d8bedbb87d3146062cc34 Mon Sep 17 00:00:00 2001
From: Romain Paquet <rpqt@rpqt.fr>
Date: Tue, 27 Jan 2026 14:36:11 +0100
Subject: [PATCH] add global direnv config

---
 home-manager/dev.nix            | 2 ++
 home/.config/direnv/direnv.toml | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100644 home/.config/direnv/direnv.toml

diff --git a/home-manager/dev.nix b/home-manager/dev.nix
index f187d71..2b2124b 100644
--- a/home-manager/dev.nix
+++ b/home-manager/dev.nix
@@ -37,6 +37,8 @@
 
   programs.direnv-instant.enable = true;
 
+  xdg.configFile."direnv/direnv.toml".source = "${config.dotfiles.path}/.config/direnv/direnv.toml";
+
   xdg.configFile."hut/config".source = "${config.dotfiles.path}/.config/hut/config";
   home.file.".ssh/config".source = "${config.dotfiles.path}/.ssh/config";
 }
diff --git a/home/.config/direnv/direnv.toml b/home/.config/direnv/direnv.toml
new file mode 100644
index 0000000..bf458e0
--- /dev/null
+++ b/home/.config/direnv/direnv.toml
@@ -0,0 +1,2 @@
+[global]
+hide_env_diff = true