diff options
| -rw-r--r-- | %HOME%/.bash_profile | 2 |
1 files changed, 2 insertions, 0 deletions
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}" ] \ |