diff options
author | Joey Hess <joey@kitenet.net> | 2011-11-22 12:22:28 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-11-22 12:22:28 -0400 |
commit | d1ecd381c97b07043bcaf0c40387b6fc6b9c7e56 (patch) | |
tree | 729b3f1ca8ee773831739172559f230e541a0e9c | |
parent | 297bcf194f7a1bf8b6b4f52f242df5b042d5c26c (diff) | |
parent | 35b47069582ff45f7e5bfdd1b43cb22134b0d646 (diff) |
Merge branch 'master' of ssh://git-annex.branchable.com
-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? |