Skip to content

GfW should not prevent third-party diff tools from saving to local copy of file #1315

Closed
@kevinhore

Description

@kevinhore
  • I was not able to find an open or closed issue matching what I'm seeing

Setup

  • Which version of Git for Windows are you using? Is it 32-bit or 64-bit?

64-bit

$ git --version --build-options

git version 2.14.2.windows.1
built from commit: 788debdfb6b794425a3b949dd1a0eb2425a72e96
sizeof-long: 4
machine: x86_64
  • Which version of Windows are you running? Vista, 7, 8, 10? Is it 32-bit or 64-bit?

Windows 10 Creators Update 64-bit

$ cmd.exe /c ver

Microsoft Windows [Version 10.0.15063]
  • What options did you set as part of the installation? Or did you choose the
    defaults?
# One of the following:
> type "C:\Program Files\Git\etc\install-options.txt"
> type "C:\Program Files (x86)\Git\etc\install-options.txt"
> type "%USERPROFILE%\AppData\Local\Programs\Git\etc\install-options.txt"
$ cat /etc/install-options.txt

Path Option: Cmd
SSH Option: OpenSSH
CURL Option: OpenSSL
CRLF Option: CRLFAlways
Bash Terminal Option: MinTTY
Performance Tweaks FSCache: Enabled
Use Credential Manager: Enabled
Enable Symlinks: Disabled

  • Any other interesting things about your environment that might be related
    to the issue you're seeing?

No. Using a newly installed and updated test machine. No other software, such as antivirus.

.gitconfig configured to to make Git use external tool such as 'Araxis Merge' or 'WinMerge' for file comparisons in the standard way:

[diff]
    tool = winmerge

Details

  • Which terminal/shell are you running Git from? e.g Bash/CMD/PowerShell/other

Either Git Bash or CMD

With a trivial repo containing a modified file in the local working copy.

git difftool

Then modify and save change to local copy using the diff tool.

  • What did you expect to occur after running these commands?

Expected files to open in external GUI diff tool and be able to save changes to file.

  • What actually happened instead?

Files opened in external GUI diff tool but unable to save changes to local working copy. The following error message displayed in a dialog window.
The requested operation cannot be performed on a file with user-mapped section open

  • If the problem was occurring with a specific repository, can you provide the
    URL to that repository to help us with testing?

No. Every repo.

Additional Details

This is a problem in every release since v2.12.2. In v2.12.1 and earlier, it was possible to save changes to files opened in external tools using git difftool

Further testing has shown that the problem occurs on Windows 7 SP1 and Windows 8.1. And is independent of versions of the external diff tool.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions