mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-02-20 03:02:29 +01:00
don't set merge tool in gitconfig
Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
This commit is contained in:
parent
fd29a52c73
commit
4075a08aec
1 changed files with 2 additions and 7 deletions
|
|
@ -77,13 +77,8 @@ cmd = git mergetool --no-prompt
|
|||
[guitool "mergetool"]
|
||||
cmd = git mergetool --no-prompt
|
||||
|
||||
[merge]
|
||||
tool = kdiff3
|
||||
|
||||
[mergetool "kdiff3"]
|
||||
cmd = kdiff3
|
||||
args = --L1 base --L2 mine --L3 theirs $base $local $other -o $output
|
||||
keepBackup = false
|
||||
# [merge]
|
||||
# tool = kdiff3
|
||||
|
||||
[push]
|
||||
default = current
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue