From 84fb897adf1b4e255ec497d0b1de6bfaa0779d98 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sven=20M=C3=A4der?= <maeder@phys.ethz.ch>
Date: Fri, 7 Oct 2022 11:08:15 +0200
Subject: [PATCH] Configure ssh-agent socket in wsl piped from windows on compi
---
profile/rda/envrcd.d/10-envvars | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/profile/rda/envrcd.d/10-envvars b/profile/rda/envrcd.d/10-envvars
index 063092d..db81da6 100644
--- a/profile/rda/envrcd.d/10-envvars
+++ b/profile/rda/envrcd.d/10-envvars
@@ -111,3 +111,7 @@ fi
if [ "${ENVRCD_USER}" == "rda" ] && [ "${HOSTNAME}" == "rda" ] && [ "${USER}" == "maedersv" ]; then
eval $(keychain --nogui --eval --ignore-missing --noinherit --quiet --noask --agents ssh,gpg --quick id_ed25519 id_rsa 8F3FB7BD7A6BF71D)
fi
+# configure ssh-agent socket in wsl piped from windows
+if [ "${ENVRCD_USER}" == "rda" ] && [ "${HOSTNAME}" == "compi" ] && [ "${USER}" == "rda" ]; then
+ export SSH_AUTH_SOCK=$HOME/.ssh/agent.sock
+fi
--
GitLab