summaryrefslogtreecommitdiff
path: root/ssh/config
diff options
context:
space:
mode:
authorGrégoire Duchêne <gregoire@awhk.org>2026-08-29 14:30:13 +0100
committerGrégoire Duchêne <gregoire@awhk.org>2026-08-29 21:16:36 +0100
commit0c69614cf423b87f1f4f431e7461d0132f1218b4 (patch)
treef296bc3653776a33f134819d6ad48a7c270a62e2 /ssh/config
parent66b41619f406b74b2c08d0719ff2d14314e3e81a (diff)
ssh: Use custom agent when configuredHEADmaster
Diffstat (limited to 'ssh/config')
-rw-r--r--ssh/config3
1 files changed, 3 insertions, 0 deletions
diff --git a/ssh/config b/ssh/config
index fb44680..d730549 100644
--- a/ssh/config
+++ b/ssh/config
@@ -10,3 +10,6 @@ Host *
Host github
HostName github.com
User git
+
+Match exec "test -S ~/.ssh/agent.sock"
+ IdentityAgent ~/.ssh/agent.sock