diff --git a/git_tutorial.md b/git_tutorial.md index 7d1a9a7ba1173c1d913fec7fe30f5758bbc2db80..07950642bb15d1d0996991cf1383e18f621b418c 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>.