diff options
| author | David Aguilar <davvid@gmail.com> | 2014-10-11 10:04:45 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-10-16 12:09:51 -0700 |
| commit | 8f0cb41da26c1e20cfbcfded030d6539464b132e (patch) | |
| tree | cf52392d6e9370ac20173d9a160b65082e445d6a | |
| parent | eab335c46d6677ff50e9fe94352150641bc05507 (diff) | |
| download | git-8f0cb41da26c1e20cfbcfded030d6539464b132e.tar.gz | |
mergetool: add an option for writing to a temporary directory
Teach mergetool to write files in a temporary directory when
'mergetool.writeToTemp' is true.
This is helpful for tools such as Eclipse which cannot cope with
multiple copies of the same file in the worktree.
Suggested-by: Charles Bailey <charles@hashpling.org>
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/config.txt | 6 | ||||
| -rwxr-xr-x | git-mergetool.sh | 35 |
2 files changed, 37 insertions, 4 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index c08286e968..c305aff660 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1755,6 +1755,12 @@ mergetool.keepTemporaries:: preserved, otherwise they will be removed after the tool has exited. Defaults to `false`. +mergetool.writeToTemp:: + Git writes temporary 'BASE', 'LOCAL', and 'REMOTE' versions of + conflicting files in the worktree by default. Git will attempt + to use a temporary directory for these files when set `true`. + Defaults to `false`. + mergetool.prompt:: Prompt before each invocation of the merge resolution program. diff --git a/git-mergetool.sh b/git-mergetool.sh index 0ff6566a0e..83863f2288 100755 --- a/git-mergetool.sh +++ b/git-mergetool.sh @@ -37,6 +37,19 @@ base_present () { test -n "$base_mode" } +mergetool_tmpdir_init () { + if test "$(git config --bool mergetool.writeToTemp)" != true + then + MERGETOOL_TMPDIR=. + return 0 + fi + if MERGETOOL_TMPDIR=$(mktemp -d -t "git-mergetool-XXXXXX" 2>/dev/null) + then + return 0 + fi + die "error: mktemp is needed when 'mergetool.writeToTemp' is true" +} + cleanup_temp_files () { if test "$1" = --save-backup then @@ -46,6 +59,10 @@ cleanup_temp_files () { else rm -f -- "$LOCAL" "$REMOTE" "$BASE" "$BACKUP" fi + if test "$MERGETOOL_TMPDIR" != "." + then + rmdir "$MERGETOOL_TMPDIR" + fi } describe_file () { @@ -235,10 +252,20 @@ merge_file () { BASE=$MERGED ext= fi - BACKUP="./${BASE}_BACKUP_$$$ext" - LOCAL="./${BASE}_LOCAL_$$$ext" - REMOTE="./${BASE}_REMOTE_$$$ext" - BASE="./${BASE}_BASE_$$$ext" + + mergetool_tmpdir_init + + if test "$MERGETOOL_TMPDIR" != "." + then + # If we're using a temporary directory then write to the + # top-level of that directory. + BASE=${BASE##*/} + fi + + BACKUP="$MERGETOOL_TMPDIR/${BASE}_BACKUP_$$$ext" + LOCAL="$MERGETOOL_TMPDIR/${BASE}_LOCAL_$$$ext" + REMOTE="$MERGETOOL_TMPDIR/${BASE}_REMOTE_$$$ext" + BASE="$MERGETOOL_TMPDIR/${BASE}_BASE_$$$ext" base_mode=$(git ls-files -u -- "$MERGED" | awk '{if ($3==1) print $1;}') local_mode=$(git ls-files -u -- "$MERGED" | awk '{if ($3==2) print $1;}') |