diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 01:15:28 +0000 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 01:15:28 +0000 |
commit | a368d4b32b4fcfee67139912190482f20784138a (patch) | |
tree | 11814eace104864e0867ecda7f4690044cb0e902 /%HOME% | |
parent | spawn_ssh_agent: save variables to ~/.ssh_agent.sh (diff) | |
download | linux-home-a368d4b32b4fcfee67139912190482f20784138a.tar.gz linux-home-a368d4b32b4fcfee67139912190482f20784138a.zip |
spawn_ssh_agent: add a comment
Diffstat (limited to '%HOME%')
-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}" ] \ |