tldr/pages.fr/common/git-mergetool.md
2020-11-10 08:17:06 -03:00

744 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