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 echo "cabal est en dernier, si il foire, Ctrl+C et puis tant pis."
  15
  16 for i in cerebro info22 bde bde2 bde3 videobde pimeys baldrick quigon hexagon zamok soyouz rezosup acoeur gladys cabal.local
  17 do
  18     echo "${color}sur $i:${endcolor}"
  19     ssh $i 'cd .myconfig; git pull'
  20 done
  21
  22 echo "${color}Pas pu mettre à jour (ForwardAgent=no) :${endcolor} tahines, rasputin"