1 files changed, 10 insertions, 0 deletions
diff --git a/mkshrc b/mkshrc
index 36c37d8..758313d 100644
--- a/mkshrc
+++ b/mkshrc
@@ -358,6 +358,16 @@ timestamp() {
 	date +%m.%d.%y_%H.%M.%S
 }
 
+checkSSHAgent() {
+	ssh_agent_conf="$HOME/.ssh/agent"
+	if [ -e "$ssh_agent_conf" ] ; then
+	        . "$ssh_agent_conf"
+	fi
+	if ! ps -eo pid | grep -q "$SSH_AGENT_PID" ; then
+	        ssh-agent -s | grep -v echo > "$ssh_agent_conf"
+	        . "$ssh_agent_conf"
+	fi
+}
 
 pull() {
 	url=""