diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-11-07 05:27:43 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-11-07 05:27:43 +0300 |
| commit | dbbd2e1c6583f33c31e3e4605bc640879740a45d (patch) | |
| tree | e471f8abaf6534425add7df16d04bed157c3731a /%HOME%/.bash_profile | |
| parent | list_repo_*: replace with simple aliases (diff) | |
| download | linux-home-dbbd2e1c6583f33c31e3e4605bc640879740a45d.tar.gz linux-home-dbbd2e1c6583f33c31e3e4605bc640879740a45d.zip | |
bugfix & code style
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 |