depot distant

index.md

@@ -433,30 +433,63 @@ section suivante).
 
 ### Créer un dépôt local à partir d'un dépôt distant
 
+La commande `git clone ...` permet de récupérer un dépôt distant sur votre
+machine (cf image ci-dessous). Pensez à mettre votre login après le "https://".
+
 ![](depot_distant_06.png)
 
 ### Ajouter un dépôt local à un dépôt distant
 
+Si vous avez déjà créé et modifié un dépôt local, vous pouvez le synchroniser
+avec un dépôt distant en utilisant les commandes `git remote add origin ...`
+puis `git push -u origin master`. Sinon, utilisez plutôt la méthode de la
+section précédente.
+
 ![](depot_distant_07.png)
 
 ### Récupérer les commits d'un dépôt distant
 
+La commande `git pull` permet de récupérer les éventuelles modifications sur le
+serveur et de les intégrer dans votre dépôt local.
+
 ![](depot_distant_08.png)
 
-### Envoyer les commits sur un dépôt distant
+### Envoyer les commits locaux sur un dépôt distant
+
+La commande `git push` permet d'envoyer vos commits locaux sur le serveur.
 
 ![](depot_distant_09.png)
 
+Les commits/fichiers envoyés sur le serveur sont alors visibles sur la page web.
+
 ![](depot_distant_10.png)
 
+Vous pouvez également toujours voir le contenu de votre dépôt avec un client
+graphique.
+
 ![](depot_distant_11.png)
 
 ### Résoudre des conflits
 
+Imaginez que vous avez modifié et commité un fichier, et que vous voulez
+l'envoyer sur le serveur. Pour cela, il faut d'abord faire un `git pull` avant
+le `git push` au cas où l'un de vos collaborateurs aurait envoyer une
+modification sur le serveur entre temps. 
+
+Si des modifications ont été faites en parallèle, git est souvent capable de
+les fusionner mais parfois il n'arrive pas à résoudre le conflit et il vous
+demande de le faire manuellement.
+
 ![](depot_distant_12.png)
 
+Pour résoudre un conflit, il suffit d'ouvrir le fichier en cause et de
+remplacez les zones marquées par le contenu que vous voulez obtenir. 
+Il existe des outils graphiques comme `meld` qui peuvent vous y aider.
+
 ![](depot_distant_13.png)
 
+Une fois les conflits édités, vous pouvez commiter et pusher vers le serveur.
+
 ![](depot_distant_14.png)
 
 ### Résumé et méthode de travail
@@ -464,12 +497,18 @@ section suivante).
 Résumé des commandes git précédentes :
 
 ---|---|
-`git ` | |
+`git clone` | récupère un dépôt distant |
+`git pull` | récupère les modifications du dépôt distant et les intègre dans le dépôt local |
+`git push` | envoie les commits du dépôt local sur le dépôt distant |
 
 Quelques conseils de méthode de travail :
 
-- TODO
-
+- utilisez la page
+  [https://gogs.univ-littoral.fr](https://gogs.univ-littoral.fr) pour créer et
+gérer vos dépôts distants.
+- récupérez vos nouveaux dépôts distant avec `git clone`
+- récupérez les modifications du serveur avec `git pull`
+- faites un `git pull` avant d'envoyer vos nouveaux commits sur le serveur (`git push`)
 
 ### Exercice