[update_my*] cabal en dernier pour pouvoir le Ctrl+C sans conséquences

[scripts-20-100.git] / update_myscripts.sh

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