[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 0d0e2b2d9e43c41ae706389a5101af87d9b9ec1e..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
+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'