2020-11-10 11:17:06 +00:00
|
|
|
# git mergetool
|
|
|
|
|
2021-05-01 17:49:31 +01:00
|
|
|
> Executer un utilitaire de différences pour résoudre les conflits de merge.
|
2021-10-07 08:37:39 +01:00
|
|
|
> Plus d'informations : <https://git-scm.com/docs/git-mergetool>.
|
2020-11-10 11:17:06 +00:00
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- Démarrer l'outil de différences par défaut :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
`git mergetool`
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- Lister les outils de différences valides :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
`git mergetool --tool-help`
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- 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}}`
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- Démarrer l'outil de différences sans dialogues :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
`git mergetool --no-prompt`
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- 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`
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- 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`
|