Revert "[deploy_config] override $USER, much easier bootstrap"

This reverts commit b17f138503e3eaac1413ffe32b37a3646fc2de9a.
En fait ça marche pô :(

diff --git a/deploy_config.sh b/deploy_config.sh
index fc353037d84d6bfb5bf69f2d8689765f1910d0fc..da01ff48b7039005a512e2a727c2d8a42c70c931 100755 (executable)
--- a/deploy_config.sh
+++ b/deploy_config.sh
@@ -4,9 +4,6 @@
 
 cd ~
 test -d .myconfig && echo ".myconfig existe" && exit 1
 
 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
 git clone ssh://cerebro.crans.org/git/fichiers_configuration_branchperso.git .myconfig
 
 cd .myconfig