[update_myscripts] pull eva == pull local

Comme le script est censé être exécuté depuis eva, on fait localement
le pull à la place de faire un ssh eva

diff --git a/update_myscripts.sh b/update_myscripts.sh
index 6f062b603c432feade0542231288b13caafe5359..1b04b84660d2647959072410344ff20da27cfb34 100755 (executable)
--- a/update_myscripts.sh
+++ b/update_myscripts.sh
@@ -8,7 +8,12 @@ endcolor='\e[0m'
 
 echo "cabal est en dernier, si il foire, Ctrl+C et puis tant pis."
 
-for i in eva zamok cerebro bde pimeys cabal.local
+# locally
+echo "${color}sur eva:${endcolor} (localement)"
+cd ~/scripts
+git pull
+
+for i in zamok cerebro bde pimeys cabal.local
 do
     echo "${color}sur $i:${endcolor}"
     ssh $i 'cd scripts; git pull'