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:03] blay [Définition de l'environnement] |
2018_2019:s2:td:git [2019/03/16 21:45] blay [Synchronisation de votre répertoire] |
||
---|---|---|---|
Line 45: | Line 45: | ||
- Exécuter ''git log'' et récupérez le hash (HASH) du commit où vous souhaitez revenir en arrière. | - Exécuter ''git log'' et récupérez le hash (HASH) du commit où vous souhaitez revenir en arrière. | ||
- Pour revenir en arrière de manière temporaire, exécutez <code> git checkout HASH</code> | - Pour revenir en arrière de manière temporaire, exécutez <code> git checkout HASH</code> | ||
- | - Vérifiez que votre fichier Menu.txt est dans son état antérieur. | + | - Vérifiez que votre fichier est dans son état antérieur. |
- Revenez au dernier commit (HEAD) en exécutant <code> git checkout master</code> | - Revenez au dernier commit (HEAD) en exécutant <code> git checkout master</code> | ||
- Pour revenir en arrière de manière définitive, et donc supprimer tout ce que vous avez fait depuis ce moment : <code> git reset --hard HASH </code> | - Pour revenir en arrière de manière définitive, et donc supprimer tout ce que vous avez fait depuis ce moment : <code> git reset --hard HASH </code> | ||
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. | ||