From 6acc1c456373eaf01d19ff39eccdd105785fa173 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= <jakobus.schuerz@schuerz.at>
Date: Sun, 20 Sep 2020 20:22:48 +0200
Subject: [PATCH] write SSH_AUTH_SOCK to default-agent for ssh-ident

---
 myshell_load_defaults | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/myshell_load_defaults b/myshell_load_defaults
index e6250a9..02101f1 100644
--- a/myshell_load_defaults
+++ b/myshell_load_defaults
@@ -128,3 +128,10 @@ export -f token
 export -f sudo
 export -f reachable
 export -f reachable-default
+
+
+cat << EOF > ~/.ssh/agents/agent-default-$(hostname)
+SSH_AUTH_SOCK=\${SSH_AUTH_SOCK}; export SSH_AUTH_SOCK;
+SSH_AGENT_PID=\${SSH_AGENT_PID}; export SSH_AGENT_PID;
+echo Agent pid \${SSH_AGENT_PID};
+EOF