diff options
Diffstat (limited to '%HOME%/.bash_profile')
| -rw-r--r-- | %HOME%/.bash_profile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile index 38b23f3..91b1d50 100644 --- a/%HOME%/.bash_profile +++ b/%HOME%/.bash_profile @@ -5,9 +5,9 @@ echo "Welcome to $( hostname )" spawn_ssh_agent() { [ -n "${SSH_AGENT_PID:+x}" ] && return 0 - command -v ssh-agent &> /dev/null \ + command -v ssh-agent &> /dev/null \ && eval "$( ssh-agent -s )" > /dev/null \ - && [ -n "${SSH_AGENT_PID:+x}" ] \ + && [ -n "${SSH_AGENT_PID:+x}" ] \ && trap "$( printf 'kill %q' "$SSH_AGENT_PID" )" 0 } |