https://github.com/git/git
Raw File
Tip revision: 1f2e64e22dee75db96b92d526d14003ba59a154e authored by Johannes Schindelin on 10 April 2024, 20:04:50 UTC
Git 2.43.4
Tip revision: 1f2e64e
opendiff
diff_cmd () {
	"$merge_tool_path" "$LOCAL" "$REMOTE" | cat
}

diff_cmd_help () {
	echo "Use FileMerge (requires a graphical session)"
}

merge_cmd () {
	if $base_present
	then
		"$merge_tool_path" "$LOCAL" "$REMOTE" \
			-ancestor "$BASE" -merge "$MERGED" | cat
	else
		"$merge_tool_path" "$LOCAL" "$REMOTE" \
			-merge "$MERGED" | cat
	fi
}

merge_cmd_help () {
	echo "Use FileMerge (requires a graphical session)"
}
back to top