diff options
Diffstat (limited to 'bash/agents.sh')
| -rw-r--r-- | bash/agents.sh | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/bash/agents.sh b/bash/agents.sh index 0fd307a..1ef90ad 100644 --- a/bash/agents.sh +++ b/bash/agents.sh @@ -6,17 +6,17 @@ export GPG_TTY=$(tty) export SSH_ENV="$HOME/.ssh/environment" start_agent() { - echo "Initialising new SSH agent..." - ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}" - echo succeeded - chmod 600 "${SSH_ENV}" - . "${SSH_ENV}" > /dev/null - ssh-add + echo "Initialising new SSH agent..." + ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}" + echo succeeded + chmod 600 "${SSH_ENV}" + . "${SSH_ENV}" > /dev/null + ssh-add } [ -f "${SSH_ENV}" ] && { - . "${SSH_ENV}" > /dev/null - ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || { - start_agent - } + . "${SSH_ENV}" > /dev/null + ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || { + start_agent + } } || start_agent |