From 6cba26599e63cc5144ba7cb297250104b92b2b56 Mon Sep 17 00:00:00 2001 From: Hadi Date: Thu, 27 Aug 2026 10:39:59 +0200 Subject: [PATCH] change git name & email depending on url Signed-off-by: Hadi --- hosts/work/home.nix | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/hosts/work/home.nix b/hosts/work/home.nix index dfe4fd69..c266b5e3 100644 --- a/hosts/work/home.nix +++ b/hosts/work/home.nix @@ -84,5 +84,22 @@ enable = true; configDirectory = config.var.configDirectory; }; + + git.includes = [ + { + condition = "hasconfig:remote.*.url:**"; + contents.user = { + name = "Hadrien"; + email = "hadi@example.fr"; + }; + } + { + condition = "hasconfig:remote.*.url:git@github.com:**"; + contents.user = { + name = config.var.git.username; + email = config.var.git.email; + }; + } + ]; }; }