Mirrorer les modifs de config sur tous les serveurs.

diff --git a/update_myconfig.sh b/update_myconfig.sh
new file mode 100755 (executable)
index 0000000..34216ea
--- /dev/null
+++ b/update_myconfig.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+# Pour mettre à jour les fichiers de configuration personnelle
+# sur toutes les machines où j'ai accès
+
+color='\e[0;31m'
+endcolor='\e[0m'
+
+# locally
+echo "${color}sur eva:${endcolor}"
+cd ~/.myconfig
+git pull
+
+for i in cerebro cabal info22 bde bde2 bde3 videobde pimeys baldrick quigon hexagon zamok ovh
+do
+    echo "${color}sur $i:${endcolor}"
+    ssh $i 'cd .myconfig; git pull'
+done
+
+echo "${color}Pas pu mettre à jour (FrowardAgent=no) :${endcolor} tahines, rasputin"