mirror of
https://github.com/tldr-pages/tldr.git
synced 2024-11-11 06:16:53 +03:00
748 B
748 B
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