bash: pick up SSH_AGENT in case it isn't set automatically

diff --git a/.bash/environment b/.bash/environment
index 63a760b2053b81187a85ce5fae9a5291de365538..8ccb665fe8e95f00fd7d5565f696e39ab7f286d2 100644 (file)
--- a/.bash/environment
+++ b/.bash/environment
@@ -35,6 +35,11 @@ source "${HOME}/.bash/functions"
 
 pathprepend "${HOME}/bin"
 
+# Pick up SSH agent socket in case it isn't set automatically
+if [ -z "$SSH_AUTH_SOCK" ]; then
+    export SSH_AUTH_SOCK="/run/user/$(id -u)/keyring/ssh"
+fi
+
 # Load local environment settings
 [ -r "${HOME}/.bash/environment_local" ] && source "${HOME}/.bash/environment_local"