doc-diff: add `--cut-header-footer`
[git/raj.git] / mergetools / xxdiff
blobce5b8e9f296233470d18feae929772235e4f12f2
1 diff_cmd () {
2         "$merge_tool_path" \
3                 -R 'Accel.Search: "Ctrl+F"' \
4                 -R 'Accel.SearchForward: "Ctrl+G"' \
5                 "$LOCAL" "$REMOTE"
8 merge_cmd () {
9         if $base_present
10         then
11                 "$merge_tool_path" -X --show-merged-pane \
12                         -R 'Accel.SaveAsMerged: "Ctrl+S"' \
13                         -R 'Accel.Search: "Ctrl+F"' \
14                         -R 'Accel.SearchForward: "Ctrl+G"' \
15                         --merged-file "$MERGED" "$LOCAL" "$BASE" "$REMOTE"
16         else
17                 "$merge_tool_path" -X $extra \
18                         -R 'Accel.SaveAsMerged: "Ctrl+S"' \
19                         -R 'Accel.Search: "Ctrl+F"' \
20                         -R 'Accel.SearchForward: "Ctrl+G"' \
21                         --merged-file "$MERGED" "$LOCAL" "$REMOTE"
22         fi