From: Stefan Huber <s.huber@bct-electronic.com>
Date: Tue, 6 Nov 2012 11:43:37 +0000 (+0100)
Subject: Add profile-sshagent
X-Git-Url: https://git.sthu.org/?p=shutils.git;a=commitdiff_plain;h=2d5637e7c5db24f8db737298bfcd177e89a513bf

Add profile-sshagent
---

diff --git a/dotfiles/profile-sshagent b/dotfiles/profile-sshagent
new file mode 100644
index 0000000..39f5aba
--- /dev/null
+++ b/dotfiles/profile-sshagent
@@ -0,0 +1,19 @@
+# Add "source $HOME/.profile-sshagent" to your .profile
+
+SSH_AGENT_FILE=~/.ssh/ssh-agent-info-$(hostname)
+if [ -f "$SSH_AGENT_FILE" ]; then
+    source "$SSH_AGENT_FILE" > /dev/null
+fi
+if [ ! -w "$SSH_AUTH_SOCK" ]; then
+	/usr/bin/ssh-agent -s > "$SSH_AGENT_FILE" && \
+	source "$SSH_AGENT_FILE" > /dev/null
+fi
+
+
+# Local variables:
+# mode: shell-script
+# sh-basic-offset: 4
+# sh-indent-comment: t
+# indent-tabs-mode: nil
+# End:
+# ex: ts=4 sw=4 et filetype=sh