mirror of
https://github.com/tldr-pages/tldr.git
synced 2024-11-14 19:01:35 +03:00
752 B
752 B
git mergetool
Executer un utilitaire de différences pour resoudre les conflits de merge. Plus d'informations : https://git-scm.com/docs/git-mergetool.
- Démarrer l'outil de différences par défaut :
git mergetool
- Lister les outils de différences valides :
git mergetool --tool-help
- Démarrer l'outil de différences en précisant son nom :
git mergetool --tool {{tool_name}}
- Démarer l'outil de difféerences sans dialogues :
git mergetool --no-prompt
- Utiliser explicitement l'outil de différences graphique (voir la variable de config
merge.guitool
) :
git mergetool --gui
- tiliser explicitement l'outil de différences clasique (voir la variable de config
merge.tool
) :
git mergetool --no-gui