tldr/pages.fr/common/git-mergetool.md

29 lines
748 B
Markdown
Raw Normal View History

2020-11-10 11:17:06 +00:00
# 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>.
2020-11-10 11:17:06 +00:00
- Démarrer l'outil de différences par défaut :
2020-11-10 11:17:06 +00:00
`git mergetool`
- Lister les outils de différences valides :
2020-11-10 11:17:06 +00:00
`git mergetool --tool-help`
- Démarrer l'outil de différences en précisant son nom :
2020-11-10 11:17:06 +00:00
`git mergetool --tool {{tool_name}}`
- Démarrer l'outil de différences sans dialogues :
2020-11-10 11:17:06 +00:00
`git mergetool --no-prompt`
- Utiliser explicitement l'outil de différences graphique (voir la variable de config `merge.guitool`) :
2020-11-10 11:17:06 +00:00
`git mergetool --gui`
- Utiliser explicitement l'outil de différences classique (voir la variable de config `merge.tool`) :
2020-11-10 11:17:06 +00:00
`git mergetool --no-gui`