bebou

git clone git://bebou.netlib.re/bebou
Log | Files | Refs |

commit 203e28893e528884050cf5b77c1adc9c4eb6abc8
parent 4b496cad987bbf56b52d765d5cadbee2cb6e77a7
Auterice: Arthur Pons <arthur.pons@unistra.fr>
Date:   Tue, 15 Oct 2024 23:27:36 +0200

Améliorations de la doc à propos de git

Diffstat:
M
contents/faq/index.sh
 | 
15
++++++++++++---

1 file changed, 12 insertions(+), 3 deletions(-)
diff --git a/contents/faq/index.sh b/contents/faq/index.sh
@@ -534,7 +534,16 @@ domaine et votre compte cette commande pourrait se résumer par :
 En SSH le chemin `/srv/git` est nécessaire pour que le serveur sache où
 trouver le dépôt que vous voulez cloner.
 
-Une fois vos modifications faites vous pourrez les pousser en faisant
+Alternativement vous pouvez cloner anonymement, faire votre commit puis
+pousser en utilisant l'option `--set-upstream` pour dire à git de suivre
+cette branche distante :
+
+    $ git clone git://bebou.netlib.re/nom_du_depot
+	# blablabla git commit
+	$ git push --set-upstream nom_du_compte@bebou.netlib.re:1459/srv/git/nom_du_depot
+
+Une fois vos modifications ou votre premier push avec `--set-upstream` fait
+vous pourrez ensuite pousser avec :
 
     $ git push
 
@@ -550,7 +559,7 @@ prêt à recevoir vos données. Pour cela il existe un script `makegitrepo` qui
 vous guidera. Vous pouvez le lancer en faisant (si votre config est configuré
 pour) :
 
-    $ ssh bebou makegitrepo
+    $ ssh nom_du_compte@bebou.netlib.re -p 1459 makegitrepo
     Nom du dépôt : test2
     Description du dépôt : un dépôt de test
     Rendre publique sur le web ? (o/n) o
@@ -559,7 +568,7 @@ pour) :
 Vous pouvez ensuite vous déplacer dans votre dépôt git en local et pousser sur
 la branche distante main (celle par défaut) :
 
-    git push --set-upstream bebou:/srv/git/test2 main
+    git push --set-upstream nom_du_compte@bebou.netlib.re:1459/srv/git/test2 main
 
 ## Il est un peu moche ce site non ?