.gitignore pour Mercury
13 règles d’exclusion pour Mercury, prêtes à copier dans votre dépôt.
Langage de programmation logique/fonctionnel
Le .gitignore complet pour Mercury
# Généré par LFGitignore - https://lfgitignore.com
# Créé le : 2026-11-04 20:25:49 UTC
# Technologies : Mercury
### Mercury ###
Mercury/
Mercury.modules
# Bibliothèque statique
*.a
*.mh
*.err
# Exécutable Windows
*.exe
*.init
# Bibliothèque de liens dynamiques
*.dll
# Bibliothèque dynamique macOS
*.dylib
*.beams
# Bibliothèques partagées
*.so
*.c_date
# Fichiers de dépendances
*.d
Ce que ces règles Mercury ignorent vraiment
Chaque motif ci-dessous, et pourquoi il a sa place dans votre .gitignore.
Général
| Motif | Ce qu’il ignore |
|---|---|
Mercury/ |
Général |
Mercury.modules |
Général |
*.a |
Bibliothèque statique |
*.mh |
Général |
*.err |
Général |
*.exe |
Exécutable Windows |
*.init |
Général |
*.dll |
Bibliothèque de liens dynamiques |
*.dylib |
Bibliothèque dynamique macOS |
*.beams |
Général |
*.so |
Bibliothèques partagées |
*.c_date |
Général |
*.d |
Fichiers de dépendances |
Comment utiliser ce .gitignore pour Mercury
- Copiez les règles Mercury ci-dessus, ou téléchargez directement le fichier.
- Créez un fichier nommé .gitignore à la racine de votre dépôt Git et collez-y les règles.
- Si certains de ces fichiers sont déjà suivis, lancez git rm -r --cached . puis recommitez — Git n’applique les règles d’exclusion qu’aux fichiers non suivis.
- Commitez le .gitignore pour que toute l’équipe partage les mêmes règles.