From e3936803c2cc3db2d3175d72d703cca282042adf Mon Sep 17 00:00:00 2001
From: "W. Trevor King" <wking@drexel.edu>
Date: Wed, 9 Nov 2011 14:11:23 -0500
Subject: [PATCH] Automatically grab SSH-agent info if it exists.

The key info location is determined by my `ssh-prime.sh` script.  See
my SSH blog post for details [1].

[1]: http://physics.drexel.edu/~wking/unfolding-disasters/posts/SSH/
---
 _bashrc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/_bashrc b/_bashrc
index eea4fe4..3061b15 100644
--- a/_bashrc
+++ b/_bashrc
@@ -174,6 +174,11 @@ if [ -z "$SSH_CLIENT" ]; then
     fi
 fi
 
+SSH_INFO_FILE="/tmp/$(whoami)/.ssh/.ssh-agent-info-$(hostname)"
+if [ -f "$SSH_INFO_FILE" ]; then
+    . "$SSH_INFO_FILE"
+fi
+
 ### ---- begin .dotfiles section ---- (keep this magic comment)
 
 # Check for Git (versioning system) so we know how to get our .dotfiles
-- 
2.26.2