From 77561d023595ecf3d80acd84d45e310cb47c4a0a Mon Sep 17 00:00:00 2001
From: Benoit Favre <benoit.favre@lif.univ-mrs.fr>
Date: Sun, 17 May 2015 17:00:41 +0200
Subject: [PATCH] update script update
---
update.sh | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/update.sh b/update.sh
index b209a93..a0742c0 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
--
GitLab