From dbbd2e1c6583f33c31e3e4605bc640879740a45d Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Mon, 7 Nov 2016 05:27:43 +0300 Subject: bugfix & code style --- %HOME%/.bash_profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '%HOME%/.bash_profile') 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 -- cgit v1.2.3