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 21:02] – [Synchronisation de votre répertoire en groupe] blay
@@ Line 51: / Line 51: @@
+==== Synchronisation de votre répertoire en groupe ====
+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>
+     - ENSEMBLES :
+        - BLANC envoie son code vers le dépôt distant : <code> git push origin master</code>
+            *  Cette commande signifie : git push [nom-distant] [nom-de-branche]. Ici, nous souhaitons pousser votre branche master vers le serveur origin (pour rappel, cloner un dépôt définit automatiquement ces noms pour vous)
+       - ** TOUS **
+            - Visualiser l'état du dépôt distant <code> git remote show origin </code>
+       - ** TOUS **
+            - Synchroniser votre dépôt git avec la commande <code> git pull </code>
+       -  ** TOUS **
+            - Chacun pousse son code sur le dépôt distant <code> git push origin master</code> et si vous avez un souci... pensez à vous mettre à jour.
+  - Chacun :
+       * Bleu ajoute à ''Game'' l'attribut "Player black"
+       * Vert ajoute à  ''Game'' l'attribut "Move[] moves"
+       * Blanc ajoute à  ''GameManager'' l'attribut "Game[] games"
+       * Jaune ajoute à  ''GameManager'' l'attribut "IA[] ias"
+       * Rouge ajoute à  ''GameManager'' la méthode ''Game createGame()''
+       * Tous commitent en local
+  - Là vous faîtes ensemble et dans l'ordre en vous aidant :
+      - Bleu pousse sur le serveur distant. (Pour lui c'est facile ! )
+      - Vert tente de pousser... Remédiez au conflit.
+      - Blanc pousse sur le serveur distant. Cool !
+      - Jaune pousse sur le serveur distant ....
+      - Rouge pousse sur le serveur distant...