[deploy_config] override $USER, much easier bootstrap

diff --git a/deploy_config.sh b/deploy_config.sh
index da01ff48b7039005a512e2a727c2d8a42c70c931..fc353037d84d6bfb5bf69f2d8689765f1910d0fc 100755 (executable)
--- a/deploy_config.sh
+++ b/deploy_config.sh
@@ -4,6 +4,9 @@
 
 cd ~
 test -d .myconfig && echo ".myconfig existe" && exit 1
+# On override la variable USER (oui c'est légal) pour pas avoir besoin
+# de bootstraper un .ssh/config ni inclure l'user dans l'uri de git fetch
+export USER="vincent"
 git clone ssh://cerebro.crans.org/git/fichiers_configuration_branchperso.git .myconfig
 
 cd .myconfig