User Tools
2018_2019:s2:td:git
Differences
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:10] 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 ==== | ||
| + | |||
| + | 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> | ||
| + | le pousser en amont. La commande pour le faire est simple : git push [nom-distant] [nom-de-branche]. Si vous souhaitez pousser votre branche master vers le serveur origin (pour rappel, cloner un dépôt définit automatiquement ces noms pour vous), alors vous pouvez lancez ceci pour pousser votre travail vers le serveur amont : | ||
| + | - **(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. | ||
2018_2019/s2/td/git.txt · Last modified: 2019/03/26 16:18 by blay
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
