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
