Systèmes de gestion de versions : Git

TP #2 : Commandes de base

Git clone

L'opération git clone permet de récupérer localement une copie complète d'un dépôt Git.

• Sur la page du projet GitLab, copier l'URL pour le dépôt (bouton « Clone »). Utiliser ensuite l'URL en argument pour la commande git clone :
  

  # URL en HTTPS
  $ git clone https://gitlab.iut-bm.univ-fcomte.fr/LOGIN/DEPOT.git
  
  # URL en SSH
  $ git clone git@gitlab.iut-bm.univ-fcomte.fr:LOGIN/DEPOT.git
  

  (voir ici en cas de problème de connexion, notamment la ligne avec « git config [...] sslVerify »)
  
  
• Observer le résultat
  
  • l'ensemble des fichiers a été récupéré
  • répertoire .git/
  • interface graphique pour consulter les commits : gitk

La commande git

• Forme générale de la commande : git ACTION ARGUMENTS
• Documentation :
  • man git ACTION ou git help ACTION
  • exemple :

    $ man git clone
    $ git help clone

Vers le premier commit

• Configuration minimale :

  $ git config --global user.name "Prénom Nom"
  $ git config --global user.email "user@example.com"
  $ git config --global color.ui auto

  • les deux premières commandes servent à définir l'identité de l'auteur des commits
  • la dernière commande sert à activer la coloration syntaxique
  • l'option --global permet de faire le paramétrage de manière globale pour l'utilisateur, on peut utiliser l'option --local pour restreindre le paramétrage à un projet
• Vérifier l'état du projet :

  $ git status

• Modifier le fichier README.md
• Tester et commenter la séquence de commandes suivante :

  $ git status
  $ git diff
  $ git diff --word-diff
  $ git add README.md
  $ git status
  $ git diff
  $ git diff --cached
  $ git commit
  $ git status

Conclusion

• Consulter l'état de l'espace de travail

  $ git status
  $ git diff
  $ git diff --word-diff
  $ git diff --cached

• Enregistrer un commit

  $ git add <fichier...>
  $ git commit
  $ git commit -a
  $ git commit -m "Message..."