From 975aff39895c0659535ced7d286b5cff8d7b417c Mon Sep 17 00:00:00 2001
From: Joe Groocock <frebib@gmail.com>
Date: Wed, 20 Jul 2016 16:25:24 +0100
Subject: [PATCH] Don't start SSH agent if it's already running

---
 .profile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.profile b/.profile
index 31ca83d..c4183fd 100644
--- a/.profile
+++ b/.profile
@@ -14,4 +14,7 @@ export BROWSER="google-chrome-stable"
 export _JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel"
 export QT_STYLE_OVERRIDE=GTK+
 
-eval `ssh-agent` && ssh-add
+if [ -z $SSH_AGENT_PID ]; then
+    eval `ssh-agent`
+    ssh-add
+fi