From b185ddd8982cf2cfd5df99286b91aaa651e7339e Mon Sep 17 00:00:00 2001 From: Johannes Ranke Date: Wed, 26 Oct 2016 20:19:43 +0200 Subject: Start ssh-agent if not available --- bashrc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bashrc b/bashrc index e0ea08b..ddbc10c 100644 --- a/bashrc +++ b/bashrc @@ -47,7 +47,9 @@ export DEBEMAIL=jranke@uni-bremen.de export DEBFULLNAME="Johannes Ranke" # }}} # ssh-agent {{{ -eval `ssh-agent -s` +if [ -z "$SSH_AUTH_SOCK" ]; then + eval `ssh-agent -s` +fi # }}} # rdkit {{{ # RDKIT (commented out on 2015-10-02 as I am using the Debian package python-rdkit -- cgit v1.2.1