]> gitweb.pimeys.fr Git - scripts-20-100.git/commitdiff
[deploy_config] override $USER, much easier bootstrap
authorVincent Le Gallic <legallic@crans.org>
Tue, 7 Jun 2016 13:44:49 +0000 (15:44 +0200)
committerVincent Le Gallic <legallic@crans.org>
Tue, 7 Jun 2016 13:44:49 +0000 (15:44 +0200)
deploy_config.sh

index da01ff48b7039005a512e2a727c2d8a42c70c931..fc353037d84d6bfb5bf69f2d8689765f1910d0fc 100755 (executable)
@@ -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