Differences

This shows you the differences between two versions of the page.

--- 2018_2019:s2:td:git [2019/03/16 20:05] – [Git comme un historique des modifications] blay
+++ 2018_2019:s2:td:git [2019/03/16 20:08] – [Git comme un historique des modifications] blay
@@ Line 51: / Line 51: @@
+==== Synchronisation de votre répertoire ====
+Hormis la première étape, vous avez expérimenté Git pour gérer localement vos versions.
+Nous allons maintenant nous intéresser au développement collaboratif de fichier sources.
+     - Visualisez les références distantes <code> git remote </code>
+     - Visualisez les URL associées aux références distantes <code>git remote -v </code>
+     -  Envoyez ensuite le commit vers le dépôt distant : <code> git push origin master</code>
+       - **(Tous sauf  A)**
+            - Visualiser l'état du dépôt distant <code> git remote show origin </code>
+            - Synchroniser votre dépôt git avec la commande <code> git pull </code>
+  -	(Un développeur autre que A)
+        - Modifiez le fichier index.html afin d’ajouter du texte entre les balises body.
+        - Commitez les modifications et envoyez-les vers le dépôt distant.
+  -	(TOUS) Synchroniser votre dépôt git avec la commande ''git pull''.
+  -	 (Personne A)
+        - Modifiez le titre de la page Web et
+        - Commitez/envoyez les modifications.
+  -	(Personne B) (SANS SYNCHRONISER LE DEPOT)
+        - Modifiez le titre de la page Web
+        - Commitez/envoyez les modifications. Que se passe-t-il ? Remédiez au conflit.