From f82cf5992b660e59868b2dc83fb6c6b85e8204af Mon Sep 17 00:00:00 2001
From: Orestis <orestis.malaspinas@pm.me>
Date: Tue, 9 Nov 2021 09:57:45 +0100
Subject: [PATCH] updated slides

---
 git_tutorial.md | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/git_tutorial.md b/git_tutorial.md
index 7d1a9a7..0795064 100644
--- a/git_tutorial.md
+++ b/git_tutorial.md
@@ -1,6 +1,6 @@
 % Introduction à Git
 % Orestis Malaspinas
-% commit 1d8bcf97fe56b4298ad7e71c4234fa2c77255a11
+% commit 1af569bd27849e60d0e04e16a294a2a20f831ca4
 
 # Des références
 
@@ -452,7 +452,11 @@ Git voit les fichiers dans trois états possibles:
 2. *untracked*, un fichier qui n'a pas été `add` ou `commit`.
 3. *ignored*, un fichier qui est explicitement ignoré par git.
 
-## Quels fichiers ignorer
+## Certains fichiers ne doivent pas être `addables`
+
+* Ils doivent *explicitement* être ignorés.
+
+# Quels fichiers ignorer
 
 On ignore typiquement:
 
@@ -462,7 +466,7 @@ On ignore typiquement:
 * Les fichiers de configuration d'un IDE: .vscode, ...
 * Les fichiers système.
 
-## Comment ignorer des fichiers?
+# Comment ignorer des fichiers?
 
 * Créer un fichier texte nommé `.gitignore`.
 * L'ajouter au répo git et le "commit".
@@ -480,7 +484,7 @@ sanders    # ignore le répertoire sanders
 
 [^2]: Pour une liste plus exhaustive voir le site <https://bit.ly/2HTZJyQ> par exemple.
 
-## Bibliographie
+# Bibliographie
 
 Ces quelques slides sont inspirés du site <https://bit.ly/2HTZJyQ>.
 
-- 
GitLab