Systèmes de gestion de versions : Git

TP #3 : Commandes de base (suite)

• Ajouter, supprimer des fichiers :
  

  $ git add <fichier...>
  $ git rm <fichier...>
  $ git mv <source...> <destination>

  puis valider avec « git commit ».
• Revoir les commits :

  $ gitk
  $ git show
  $ git log
  $ git log -p
  $ git log --stat --summary
  $ git log --oneline

• Envoyer les commits vers le serveur :

  $ git push

• Recevoir les commits depuis le serveur :

  $ git fetch
  $ git pull

• Schéma de synthèse des opérations :
  
  
• Ignorer des fichiers : fichier .gitignore

Exercices

1. Push simple
   Faire un commit localement, puis « git push » pour l'envoyer vers le serveur.
   Utiliser l'interface web de GitLab pour vérifier que le commit y a bien été propagé.
2. Pull simple
   Faire un commit par l'interface web, puis un « git pull » pour l'intégrer localement.
3. Fusion automatique
   Faire un commit par l'interface web. Faire un commit en local sur un autre fichier.
   Tenter un « git push ». Recommencer avec « git pull » suivi de « git push ».
4. Situation de conflit
   Comme l'exercice précédent, mais en modifiant (différemment) les mêmes parties d'un fichier.
   Un conflit apparaît au moment du « git pull », le résoudre.