diff --git a/update.sh b/update.sh index b209a9328b958ad0bc3ffed77c3eaaf04103396c..a0742c0108dd9916781ab5bf76db99957909d77c 100755 --- a/update.sh +++ b/update.sh @@ -12,15 +12,16 @@ function start_agent { } # Source SSH settings, if applicable -if [ -f "${SSH_ENV}" ]; then - . "${SSH_ENV}" > /dev/null +#if [ -f "${SSH_ENV}" ]; then +# . "${SSH_ENV}" > /dev/null #ps ${SSH_AGENT_PID} doesn't work under cywgin - ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || { - start_agent; - } -else +# ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || { +# start_agent; +# } +#else +chmod 600 interface-rocio.id_rsa start_agent; -fi +#fi git checkout . git pull