3 # Pour mettre à jour les fichiers de configuration personnelle
4 # sur toutes les machines où j'ai accès
10 echo "${color}sur eva:${endcolor}"
14 for i
in cerebro cabal info22 bde bde2 bde3 videobde pimeys baldrick quigon hexagon zamok ovh rezosup
16 echo "${color}sur $i:${endcolor}"
17 ssh $i 'cd .myconfig; git pull'
20 echo "${color}Pas pu mettre à jour (ForwardAgent=no) :${endcolor} tahines, rasputin"