Provided by: git-man_2.25.1-1ubuntu3.13_all bug

NAME

       git-mergetool--lib - Common Git merge tool shell scriptlets

SYNOPSIS

       TOOL_MODE=(diff|merge) . "$(git --exec-path)/git-mergetool--lib"

DESCRIPTION

       This is not a command the end user would want to run. Ever. This documentation is meant for people who
       are studying the Porcelain-ish scripts and/or are writing new ones.

       The git-mergetool--lib scriptlet is designed to be sourced (using .) by other shell scripts to set up
       functions for working with Git merge tools.

       Before sourcing git-mergetool--lib, your script must set TOOL_MODE to define the operation mode for the
       functions listed below. diff and merge are valid values.

FUNCTIONS

       get_merge_tool
           returns a merge tool. the return code is 1 if we returned a guessed merge tool, else 0.
           $GIT_MERGETOOL_GUI may be set to true to search for the appropriate guitool.

       get_merge_tool_cmd
           returns the custom command for a merge tool.

       get_merge_tool_path
           returns the custom path for a merge tool.

       run_merge_tool
           launches a merge tool given the tool name and a true/false flag to indicate whether a merge base is
           present.  $MERGED, $LOCAL, $REMOTE, and $BASE must be defined for use by the merge tool.

GIT

       Part of the git(1) suite