Séance 11 - Versionner les fichiers
Support de présentation (ouvrir en grand) :
Utilisez les flèches ← et → pour naviguer entre les diapositives.
Sommaire
Enregistrement de la séance :
Plan de la séance #
- Pourquoi versionner ?
- Décentraliser pour mieux travailler
- Introduction à Git
- Quelques projets qui utilisent Git
- Manipulations
1. Pourquoi versionner ? #
mon-fichier-v2-relu-2021-12-09-final-ok-okok.txt
Le versionnement (versioning en anglais) entend répondre à plusieurs objectifs :
- enregistrer un ou plusieurs fichiers
- garder une trace des versions des fichiers
- naviguer dans l’historique des versions
- (le tout à plusieurs)
2. Décentraliser pour mieux travailler #
Plusieurs principes inhérents à une bonne gestion collective de fichiers informatiques :
- ne pas centraliser la sauvegarde
- cloner facilement = copier le dossier de travail avec l’ensemble de l’historique
- travailler hors connexion
- créer des versions parallèles d’un projet
Il y a eu de nombreux systèmes ou logiciels de gestion de versions, mais tous avaient un ou plusieurs défauts :
- la nécessité d’être connecté pour travailler
- ne pas pouvoir disposer de tous les fichiers sur sa propre machine
- centraliser les fichiers à un seul endroit
- etc.
3. Introduction à Git #
Un logiciel de gestion de versions parmi d’autres (pour les fichiers en plein texte).
4. Quelques projets qui utilisent Git #
- programmes informatiques : https://github.com/gohugoio/hugo/
- documentation : https://github.com/jgm/pandoc/tree/master/doc
- projets éditoriaux : https://github.com/thegetty/romanmosaics
- création (littéraire ?) : https://scolaire.loupbrun.ca/piece01/
5. Manipulations #
- dans un dossier
mon-dossier
- créer un fichier mon-fichier.md
git init
git status
git add mon-fichier.md
git commit -m "le message d'enregistrement"
git log
- (
git fetch
,git rebase
etgit push
)