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 /git-mergetool.sh | |
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>
Diffstat (limited to 'git-mergetool.sh')
-rwxr-xr-x | git-mergetool.sh | 35 |
1 files changed, 31 insertions, 4 deletions
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;}') |