git mergetool

Executer un utilitaire de différences pour résoudre 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émarrer l'outil de différences sans dialogues :

git mergetool --no-prompt

• Utiliser explicitement l'outil de différences graphique (voir la variable de config merge.guitool) :

git mergetool --gui

• Utiliser explicitement l'outil de différences classique (voir la variable de config merge.tool) :

git mergetool --no-gui