diff --git a/profile/rda/envrcd.d/10-envvars b/profile/rda/envrcd.d/10-envvars index 063092d897789eedf6607815f4d2da8c81f54689..db81da6d578533311f432963901965ac1f8247d1 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