summaryrefslogtreecommitdiff
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
parent66b41619f406b74b2c08d0719ff2d14314e3e81a (diff)
ssh: Use custom agent when configuredHEADmaster
-rw-r--r--ssh/.gitignore1
-rw-r--r--ssh/config3
2 files changed, 4 insertions, 0 deletions
diff --git a/ssh/.gitignore b/ssh/.gitignore
index 676b8f2..085f131 100644
--- a/ssh/.gitignore
+++ b/ssh/.gitignore
@@ -1,3 +1,4 @@
+agent.sock
authorized_keys
id_*
known_hosts
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