From f2d42c7f6521d80e14da666a5a7ff4f6f45252cf Mon Sep 17 00:00:00 2001
From: Hyacinthe Cartiaux <Hyacinthe.Cartiaux@uni.lu>
Date: Thu, 19 Jan 2017 16:05:13 +0100
Subject: [PATCH] [bash] Use the default ssh-agent

---
 bash/bash_environment | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/bash/bash_environment b/bash/bash_environment
index 7041234..d38a3ee 100644
--- a/bash/bash_environment
+++ b/bash/bash_environment
@@ -117,9 +117,7 @@ export GNUPGHOME=~/.gnupg
 
 unset SSH_ASKPASS
 unset SSH_AGENT_PID
-if [ "${gnupg_SSH_AUTH_SOCK_by:-0}" -ne $$ ]; then
-  export SSH_AUTH_SOCK="/run/user/${UID}/gnupg/S.gpg-agent.ssh"
-fi
+export SSH_AUTH_SOCK="$XDG_RUNTIME_DIR/ssh-agent.socket"
 
 # Easybuild BUILD PATH
 export EASYBUILDBUILDPATH=/tmp/