Configure ssh-agent socket in wsl piped from windows on compi

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