diff options
Diffstat (limited to '%HOME%/.bash_profile')
| -rw-r--r-- | %HOME%/.bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile index 91b1d50..dbdce8d 100644 --- a/%HOME%/.bash_profile +++ b/%HOME%/.bash_profile @@ -8,7 +8,7 @@ spawn_ssh_agent() { 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 + && trap "$( printf -- 'kill %q' "$SSH_AGENT_PID" )" 0 } spawn_ssh_agent |