bebou

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

commit 92ce03189f5c47b023de1fe312854e476d8750e7
parent 354693fde4f59aca80b8e373498cf36ccdbc0338
Auterice: Arthur Pons <arthur.pons@unistra.fr>
Date:   Wed, 29 May 2024 16:04:45 +0200

Ajout doc git

Diffstat:
M
contents/faq/index.sh
 | 
60
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 file changed, 60 insertions(+), 0 deletions(-)
diff --git a/contents/faq/index.sh b/contents/faq/index.sh
@@ -502,6 +502,66 @@ puis choisissez le site en question dans la liste :
 	alice
 	machin
 
+## Consulter et gérer des dépôts git
+
+Les dépôts git publics sont disponibles sur : http://git.bebou.netlib.re.
+
+### Si vous souhaitez simplement lire/exécuter un dépôt
+
+Vous pouvez cloner "anonymement", c'est à dire sans avoir à vous authentifier,
+via le protocole git. Pour ce faire lancer :
+
+    $ git clone git://bebou.netlib.re/nom_du_depot
+
+Par exemple pour cloner le dépôt de ce site :
+
+    $ git clone git://bebou.netlib.re/bebou
+
+### Si vous souhaitez contribuer à un dépôt existant
+
+Pour pouvoir contribuer, c'est à dire pousser du code sur le dépôt distant,
+hébergé sur le serveur, il faut utiliser le protocole ssh. Il faut donc
+[posséder un compte sur le serveur](/faq/#obtenir-un-comptesite).
+
+Si vous possédez un compte vous pouvez cloner un dépôt existant comme ceci :
+
+    $ git clone nom_du_compte@bebou.netlib.re:1459/srv/git/nom_du_depot
+
+Si vous avez une entrée dans votre `~/.ssh/config` qui renseigne le nom de
+domaine et votre compte cette commande pourrait se résumer par :
+
+    $ git clone bebou:/srv/git/nom_du_depot
+
+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
+
+    $ git push
+
+Si c'est la première fois que vous utilisez git il est possible qu'il vous
+demande des informations à propos de votre identité (nom, prénom, mails).
+Vous pouvez y mettre ce que vous voulez.
+
+### Si vous souhaitez créer un dépôt
+
+Admettons vous avez un dépôt en local que vous voulez le partager au monde (ou à
+vos ami·es). Il faut d'abord qu'un dépôt vide existe sur le serveur distant,
+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
+    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
+    Dépôt Git vide partagé initialisé dans /srv/git/test2/
+
+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
+
 ## Il est un peu moche ce site non ?
 
 Il est un peu austère. Si vous avez des suggestions rejoignez nous et