diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawnBJ6Dv1glxzzi4qIzGFNa6F-mfHIvv9Ck <Jim@web> | 2011-11-22 07:09:24 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2011-11-22 07:09:24 +0000 |
| commit | 35b47069582ff45f7e5bfdd1b43cb22134b0d646 (patch) | |
| tree | a50df6bd54bd6cd94e65d6c0db6c5b8c8425110b | |
| parent | 6c0448d94c2be5e3c0658334ff882452bf4e8000 (diff) | |
| -rw-r--r-- | doc/bugs/directory_remote_and_case_sensitivity_on_FAT.mdwn | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/bugs/directory_remote_and_case_sensitivity_on_FAT.mdwn b/doc/bugs/directory_remote_and_case_sensitivity_on_FAT.mdwn new file mode 100644 index 000000000..d1b21a9e7 --- /dev/null +++ b/doc/bugs/directory_remote_and_case_sensitivity_on_FAT.mdwn @@ -0,0 +1,17 @@ +I was copying files to a directory remote with `git annex copy`. Out of 114 files, 9 of them failed with no message, just: + + copy data/foo.dat (to usbdrive...) failed + copy data/bar.dat (to usbdrive...) failed + +According to strace: + + 31338 mkdir("/media/annex/Zp/9v/SHA256-s1362999320--d650297c8cf8c2dc0575110a52d0c5cc0ff266f294a0599f85796a6b44b23492", 0777) = -1 ENOENT (No such file or directory) + 31338 mkdir("/media/annex/Zp/9v", 0777) = -1 ENOENT (No such file or directory) + 31338 mkdir("/media/annex/Zp", 0777) = -1 EEXIST (File exists) + 31338 stat("/media/annex/Zp", 0x7f8449f170d0) = -1 ENOENT (No such file or directory) + +The filesystem is FAT32 and has weird case semantics. This was mounted by udisks with its default options: + + /dev/sdb1 on /media/annex type vfat (rw,nosuid,nodev,uhelper=udisks,uid=1000,gid=1000,shortname=mixed,dmask=0077,utf8=1,showexec) + +I wonder if the directory remote should use hashDirLower instead of hashDirMixed? |