diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-13 23:38:11 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-13 23:38:11 +0200 |
| commit | 1bc5eea5274881a299da19ff5df1c7ddc61cbe93 (patch) | |
| tree | de2c6c9c9ae633c50941ffb244ffea91185e21a3 /.bash_profile | |
| parent | .ghci: add :hoogle (diff) | |
| download | linux-home-1bc5eea5274881a299da19ff5df1c7ddc61cbe93.tar.gz linux-home-1bc5eea5274881a299da19ff5df1c7ddc61cbe93.zip | |
fix ShellCheck warnings
Diffstat (limited to '')
| -rw-r--r-- | .bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.bash_profile b/.bash_profile index f068405..342b8a3 100644 --- a/.bash_profile +++ b/.bash_profile @@ -44,7 +44,7 @@ fi # fi spawn_ssh_agent() { - [ ! -z "${SSH_AGENT_PID:+x}" ] && return 0 + [ -n "${SSH_AGENT_PID:+x}" ] && return 0 eval "$( ssh-agent -s )" > /dev/null \ && trap "$( printf 'kill %q' "$SSH_AGENT_PID" )" 0 \ |