Skip to content
Snippets Groups Projects
Commit 77561d02 authored by Benoit Favre's avatar Benoit Favre
Browse files

update script update

parent 7cd97130
No related branches found
No related tags found
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment