diff options
| -rw-r--r-- | %HOME%/.bash_profile | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile index dbdce8d..8615e60 100644 --- a/%HOME%/.bash_profile +++ b/%HOME%/.bash_profile @@ -3,12 +3,19 @@ echo "Welcome to $( hostname )" spawn_ssh_agent() { - [ -n "${SSH_AGENT_PID:+x}" ] && return 0 - - command -v ssh-agent &> /dev/null \ - && eval "$( ssh-agent -s )" > /dev/null \ - && [ -n "${SSH_AGENT_PID:+x}" ] \ - && trap "$( printf -- 'kill %q' "$SSH_AGENT_PID" )" 0 + local rm_ssh_agent + local output_path="$HOME/.ssh_agent.sh" + [ -z "${SSH_AGENT_PID:+x}" ] \ + && command -v ssh-agent > /dev/null 2>&1 \ + && touch -- "$output_path" \ + && chmod 0600 -- "$output_path" \ + && ssh-agent -s > "$output_path" \ + && source "$output_path" > /dev/null \ + && [ -n "${SSH_AGENT_PID:+x}" ] \ + && echo "Spawned ssh-agent with PID: $SSH_AGENT_PID." \ + && command -v printf > /dev/null 2>&1 \ + && rm_ssh_agent="$( printf -- 'kill %q' "$SSH_AGENT_PID" )" \ + && trap "$rm_ssh_agent" EXIT } spawn_ssh_agent |