git-mergetool--lib - Common Git merge tool shell scriptlets
TOOL_MODE=(diff|merge) . "$(git --exec-path)/git-mergetool--lib"
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.
scriptlet is designed to be sourced (using
) by other shell scripts to set up functions for working with Git
Before sourcing git-mergetool--lib
, your script must set TOOL_MODE
to define the operation mode for the functions listed below. diff
are valid values.
returns a merge tool.
returns the custom command for a merge
returns the custom path for a merge
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
Part of the git