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 | |
| 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
| -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}" ] \ |