diff options
| author | Amir E. Aharoni <amir.aharoni@mail.huji.ac.il> | 2010-08-08 17:20:47 +0800 |
|---|---|---|
| committer | Ryan Tomayko <rtomayko@gmail.com> | 2010-08-30 11:52:48 +0800 |
| commit | 65a020219c09a24922cc21de15bac899d063aa79 (patch) | |
| tree | 160ed341973129b18911bf9dcceeb6e335454537 /_posts | |
| parent | da7156ed5f0e82c96571903936bedaa1ddf13c62 (diff) | |
Corrected cywgin to cygwin.
Diffstat (limited to '_posts')
| -rw-r--r-- | _posts/2009-09-03-working-with-key-passphrases.textile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_posts/2009-09-03-working-with-key-passphrases.textile b/_posts/2009-09-03-working-with-key-passphrases.textile index 282e8be..3758c16 100644 --- a/_posts/2009-09-03-working-with-key-passphrases.textile +++ b/_posts/2009-09-03-working-with-key-passphrases.textile @@ -49,7 +49,7 @@ function start_agent { # Source SSH settings, if applicable if [ -f "${SSH_ENV}" ]; then . "${SSH_ENV}" > /dev/null - #ps ${SSH_AGENT_PID} doesn't work under cywgin + #ps ${SSH_AGENT_PID} doesn't work under cygwin ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || { start_agent; } |