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:05] blay [Git comme un historique des modifications] |
2018_2019:s2:td:git [2019/03/16 21:10] blay [Synchronisation de votre répertoire] |
||
---|---|---|---|
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. | ||