3 # Pour mettre à jour les fichiers de configuration personnelle
4 # sur toutes les machines où j'ai accès
9 echo "cabal est en dernier, si il foire, Ctrl+C et puis tant pis."
12 echo "${color}sur eva:${endcolor} (localement)"
16 for i
in zamok cerebro bde pimeys cabal.
local
18 echo "${color}sur $i:${endcolor}"
19 ssh $i 'cd scripts; git pull'