diff options
author | David Aguilar <davvid@gmail.com> | 2014-10-10 01:19:47 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-10-15 14:10:52 -0700 |
commit | 9c66cd3bd0a70b2cf56589a4df2cf63814270635 (patch) | |
tree | ecd669864fc4031ea10c7120fc06a19d3aa275c2 /dir.c | |
parent | 76ee96a9b6f75e7d1c01e68ade72194179aa512d (diff) | |
download | git-9c66cd3bd0a70b2cf56589a4df2cf63814270635.tar.gz git-9c66cd3bd0a70b2cf56589a4df2cf63814270635.tar.xz |
mergetool: use more conservative temporary filenames
Avoid filenames with multiple dots so that overly-picky tools do
not misinterpret their extension.
Previously, foo/bar.ext in the worktree would result in e.g.
./foo/bar.ext.BASE.1234.ext
This can be improved by having only a single .ext and using
underscore instead of dot so that the extension cannot be
misinterpreted. The resulting path becomes:
./foo/bar_BASE_1234.ext
Suggested-by: Sergio Ferrero <sferrero@ensoftcorp.com>
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'dir.c')
0 files changed, 0 insertions, 0 deletions