From a368d4b32b4fcfee67139912190482f20784138a Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Mon, 4 Jun 2018 01:15:28 +0000
Subject: spawn_ssh_agent: add a comment

---
 %HOME%/.bash_profile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile
index 8615e60..317adae 100644
--- a/%HOME%/.bash_profile
+++ b/%HOME%/.bash_profile
@@ -3,6 +3,8 @@
 echo "Welcome to $( hostname )"
 
 spawn_ssh_agent() {
+    # This spawns ssh-agent and exports its variables to ~/.ssh_agent.sh,
+    # to be used in cron jobs and such.
     local rm_ssh_agent
     local output_path="$HOME/.ssh_agent.sh"
     [ -z "${SSH_AGENT_PID:+x}" ] \
-- 
cgit v1.2.3