Comment ignorer des fichiers localement sans changer .gitignore ?

1. Trouver le fichier d’exclusion du dépôt

À la racine, résolvez le bon chemin, y compris avec un fichier Git ou un worktree lié :

git rev-parse --git-path info/exclude

Ouvrez le fichier indiqué ; créez-le et son dossier parent si nécessaire en conservant les entrées existantes. Le chemin habituel est .git/info/exclude.

2. Ajouter des règles personnelles

Ajoutez ces exemples au fichier indiqué : ils ignorent les dossiers local-notes et dev.local.json à la racine. La syntaxe est celle de .gitignore.

Les règles partagées vont dans un .gitignore versionné et les règles personnelles communes aux dépôts dans le fichier global. Les worktrees peuvent partager les métadonnées : ces exclusions sont propres au dépôt, pas nécessairement à chaque worktree.

local-notes/
/dev.local.json

Pourquoi les règles Git globales ignorent-elles un fichier ?

3. Vérifier les règles et le suivi

Créez les fichiers d’exemple non suivis et vérifiez la source :

git check-ignore -v -- local-notes/draft.txt dev.local.json

La sortie doit citer info/exclude. Pour un fichier déjà suivi, ces règles ne masquent pas les modifications. assume-unchanged et skip-worktree ne sont pas une solution générale ; préférez au besoin un modèle de configuration versionné et une copie locale ignorée.

Comment ignorer des fichiers déjà suivis par Git ?