diff --git a/git_tutorial_gitignore.md b/git_tutorial_gitignore.md deleted file mode 100644 index de62f3eaf717ce2bf74c00fd461820ce7e20dd1e..0000000000000000000000000000000000000000 --- a/git_tutorial_gitignore.md +++ /dev/null @@ -1,45 +0,0 @@ -% Introduction à Git partie 2 -% Orestis Malaspinas -% commit e5c2d675e68c4df94a9d3b0df48f8feb5ec9c1ab - -# Le fichier `.gitignore` - -## L'état des fichiers - -Git voit les fichiers dans trois états possibles: - -1. *tracked*, un fichier qui a été `add` (`staged`) ou `commit` (dans la terminologie git). -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 - -On ignore typiquement: - -* Les fichiers binaires: exécutables, images, ... -* Les produits de compilation: `*.o`, `*.pyc`, ... -* Les produits d'exécutions: logs, ... -* Les fichiers de configuration d'un IDE: .vscode, ... -* Les fichiers système. - -## Comment ignorer des fichiers? - -* Créer un fichier texte nommé `.gitignore`. -* L'ajouter au répo git et le "commit". -* Y ajouter les règles à suivre pour ingorer les fichiers. - -Exemple: [^1] - -```bash -biden # ignore le fichier biden -*.o # ignore tous les fichier `.o` -!trump.o # mais PAS trump.o -sanders # ignore le répertoire sanders -**/sanders # ignore tous les répertoires sanders -``` - -[^1]: Pour une liste plus exhaustive voir le site <https://bit.ly/2HTZJyQ> par exemple. - -## Bibliographie - -Ces quelques slides sont inspirés du site <https://bit.ly/2HTZJyQ>. \ No newline at end of file