Please describe the problem.
On Windows, git-annex is unable to 'annex get' from a repository hosted on an external USB disk.
What steps will reproduce the problem?
- Create an annex (A1) on a Linux system
- Clone A1 to a new annex (A2) to an external USB drive. add A1 as a remote, "annex get ."
- Mount the USB drive to a windows system. Clone A2 to a new annex (A3).
- add A2 as a remote to A3
- "git annex get ."
- annex get will fail with file not found errors. This appears to be due to case sensitivity on Windows.
What version of git-annex are you using? On what operating system?
Windows 7: 4.20140627-g8a36ec5 (from the git-annex download page)
Debian Linux: 3.20120629 (from the package manager)