Rechercher une page de manuel

Chercher une autre page de manuel:

git-mergetool--lib

Langue: en

Autres versions - même langue

Version: 09/30/2010 (fedora - 01/12/10)

Section: 1 (Commandes utilisateur)

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.

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.

AUTHOR

Written by David Aguilar <m[blue]davvid@gmail.comm[][1]>

DOCUMENTATION

Documentation by David Aguilar and the git-list <m[blue]git@vger.kernel.orgm[][2]>.

GIT

Part of the git(1) suite

NOTES

1.
davvid@gmail.com
mailto:davvid@gmail.com
2.
git@vger.kernel.org
mailto:git@vger.kernel.org
Drame de la calvitie :
Un chauve portant une minerve, le crâne rougi par le soleil, s'est fait
sucer la tête par un déséquilibré qui l'avait pris pour un cornet de
glace à la fraise.
-+- Les nuls -+-