2018-04-05 15:55:01 +02:00
|
|
|
diff_cmd () {
|
|
|
|
"$merge_tool_path" "$LOCAL" "$REMOTE"
|
|
|
|
}
|
|
|
|
|
2022-03-30 21:19:09 +02:00
|
|
|
diff_cmd_help () {
|
|
|
|
echo "Use Guiffy's Diff Tool (requires a graphical session)"
|
|
|
|
}
|
|
|
|
|
2018-04-05 15:55:01 +02:00
|
|
|
merge_cmd () {
|
|
|
|
if $base_present
|
|
|
|
then
|
|
|
|
"$merge_tool_path" -s "$LOCAL" \
|
|
|
|
"$REMOTE" "$BASE" "$MERGED"
|
|
|
|
else
|
|
|
|
"$merge_tool_path" -m "$LOCAL" \
|
|
|
|
"$REMOTE" "$MERGED"
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
2022-03-30 21:19:09 +02:00
|
|
|
merge_cmd_help () {
|
|
|
|
echo "Use Guiffy's Diff Tool (requires a graphical session)"
|
|
|
|
}
|
|
|
|
|
2018-04-05 15:55:01 +02:00
|
|
|
exit_code_trustable () {
|
|
|
|
true
|
|
|
|
}
|