This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
2018_2019:s2:td:git [2019/03/16 21:08] blay [Git comme un historique des modifications] |
2018_2019:s2:td:git [2019/03/16 22:02] blay [Synchronisation de votre répertoire en groupe] |
||
---|---|---|---|
Line 51: | Line 51: | ||
- | ==== Synchronisation de votre répertoire ==== | + | ==== Synchronisation de votre répertoire en groupe ==== |
Hormis la première étape, vous avez expérimenté Git pour gérer localement vos versions. | 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. | 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 références distantes <code> git remote </code> | ||
- Visualisez les URL associées aux références distantes <code>git remote -v </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> | + | - ENSEMBLES : |
- | - **(Tous sauf A)** | + | - 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> | - 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> | - Synchroniser votre dépôt git avec la commande <code> git pull </code> | ||
- | - (Un développeur autre que A) | + | - ** TOUS ** |
- | - Modifiez le fichier index.html afin d’ajouter du texte entre les balises body. | + | - 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. |
- | - Commitez les modifications et envoyez-les vers le dépôt distant. | + | - Chacun : |
- | - (TOUS) Synchroniser votre dépôt git avec la commande ''git pull''. | + | * Bleu ajoute à ''Game'' l'attribut "Player black" |
- | - (Personne A) | + | * Vert ajoute à ''Game'' l'attribut "Move[] moves" |
- | - Modifiez le titre de la page Web et | + | * Blanc ajoute à ''GameManager'' l'attribut "Game[] games" |
- | - Commitez/envoyez les modifications. | + | * Jaune ajoute à ''GameManager'' l'attribut "IA[] ias" |
- | - (Personne B) (SANS SYNCHRONISER LE DEPOT) | + | * Rouge ajoute à ''GameManager'' la méthode ''Game createGame()'' |
- | - Modifiez le titre de la page Web | + | * Tous commitent en local |
- | - Commitez/envoyez les modifications. Que se passe-t-il ? Remédiez au conflit. | + | - 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... | ||