diff options
| author | Eduardo Pedroni <e.pedroni91@gmail.com> | 2018-04-15 14:12:08 +0200 |
|---|---|---|
| committer | Eduardo Pedroni <e.pedroni91@gmail.com> | 2018-04-15 14:12:08 +0200 |
| commit | 75eb6d7bfd770728eccd0d1fd6f41f5e312ef576 (patch) | |
| tree | 139c1b69332d18aa4b53db25f4e371b6c653e06d /.zsh | |
| parent | 13cb1ec01d474a550d81bd7de8abf88584a89c50 (diff) | |
Changed ssh agent setup to store settings in a different file
Diffstat (limited to '.zsh')
| -rw-r--r-- | .zsh/ssh-agent-setup.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.zsh/ssh-agent-setup.sh b/.zsh/ssh-agent-setup.sh index 0e23609..989192f 100644 --- a/.zsh/ssh-agent-setup.sh +++ b/.zsh/ssh-agent-setup.sh @@ -2,7 +2,7 @@ if [ -z "$(ps -e | grep ssh-agent)" ]; then # ssh-agent does not seem to be running, start it - ssh-agent | sed -r '/echo Agent pid [0-9]+;/d' > ~/.sshsession + ssh-agent | sed -r '/echo Agent pid [0-9]+;/d' > "$HOME/.ssh/session" fi -eval $(<~/.sshsession) +eval $(<"$HOME/.ssh/session") |