update_myconfig.sh

   1 #!/bin/bash
   2
   3 # Pour mettre à jour les fichiers de configuration personnelle
   4 # sur toutes les machines où j'ai accès
   5
   6 color='\e[0;31m'
   7 endcolor='\e[0m'
   8
   9 # locally
  10 echo "${color}sur eva:${endcolor} (localement)"
  11 cd ~/.myconfig
  12 git pull
  13
  14 for i in cerebro cabal info22 bde bde2 bde3 videobde pimeys baldrick quigon hexagon zamok soyouz rezosup
  15 do
  16     echo "${color}sur $i:${endcolor}"
  17     ssh $i 'cd .myconfig; git pull'
  18 done
  19
  20 echo "${color}Pas pu mettre à jour (ForwardAgent=no) :${endcolor} tahines, rasputin"