Débuter avec git

par Éric Lombardi, Ingénieur d’Étude au LIRIS

mercredi 25 avril 2018

git est un logiciel de gestion de versions décentralisé qui permet de stocker un ensemble de fichiers en conservant la chronologie de toutes les modifications qui ont été effectuées dessus. Il permet notamment de retrouver les différentes versions d’un lot de fichiers connexes.

Ce café prendra la forme d’une démonstration interactive de l’utilisation de git au quotidien.

Voici la liste des commandes git qui seront mises en oeuvre et expliquées :

  • git init .
  • git status
  • git add filename + git commit
  • git diff
  • git diff filename
  • git commit filename1 filename2 …
  • git commit -a
  • git log
  • git checkout commit_ref
  • git checkout master
  • git checkout – filename
  • git rm –cached filename
  • git commit –amend
  • git revert commit_ref
  • git reset commit_ref
  • git reset –hard commit_ref
  • git branch branchname
  • git checkout branchname
  • git merge branchname
  • git branch -d branchname
  • git init –bare test_repo.git
  • git clone login@server:~/test_repo.git
  • git push
  • git pull