To Git or Not to Git
Ce cours consiste en une seule séance d’introduction à la gestion de versions distribuée avec Git. Le public visé est celui des usagers d’ordinateurs qui ne possèdent pas de formation particulière à l’informatique. Le cours cherche à expliquer les notions de base de gestion de versions et de Git, ainsi que de donner quelques bonnes pratiques d’usage d’un système de gestion de versions.
Intuitivement, le but de ce cours serait d’aider de tels utilisateurs de Git.
Les matériaux de ce cours sont distribués sous la licence Creative Commons Paternité.
Diapositives
Les diapositives (en anglais) de cet exposé sont ici.
Présentation informelle
Vous avez déjà développé un projet de code et vous vous êtes retrouvé à faire des dossiers différents pour chaque version du projet ? Vous en avez marre de passer les fichiers source d’articles par courriel ? Vous avez testé Git, mais vous l’avez trouvé un peu opaque, et puis la sauce tomate n’était pas bonne ?
Ce cours est pour vous !
Conseils de présentation
Cet exposé doit être accompagné par une session shell
interactive. Les commandes suivantes doivent être montrées : git
init, git add, git commit, git log, git diff, git branch,
git checkout, git merge, git push, git pull.
L’un des buts de ce cours est de familiariser le public à l’interface en ligne de commande de Git. Cet interface est complète, bien que minimaliste graphiquement. Les interfaces graphiques et les porcelaines pour Git sont ainsi à éviter avant la fin de l’exposé.