Docker Community Forums

Share and learn in the Docker community.

Volume mounts case insensitive


(Messerman) #1

Expected behavior

The underlying file system on my machine is case sensitive (i.e. “foo” and “Foo” are considered to be different files). Mounting a shared directory (e.g. docker run -i -t -v ~/git:/code imagename) should mount as case sensitive, as well.

Actual behavior

Inside the container, the mounted volumes (which show as type “osxfs”) are mounted as case INsensitive. (i.e. “Foo”, “foo”, “fOo”, etc are all the same file).

Information

  • OS X v 10.11.4
  • Docker v 1.12.0-rc4-beta19

Any tips/tricks/fixes for how to remedy this?


(Rob Landers) #2

Sounds like you got windows file support right out of the box… lol …


(Smitgd) #3

Hopefully there can be a serious response :).
I have the same problem with windows. By setting the registry and /etc/fstab according to this: http://superuser.com/questions/266110/how-do-you-make-windows-7-fully-case-sensitive-with-respect-to-the-filesystem
I am able to produce files that are case sensitive, e.g., T.gds and t.gds in the same directory are different files with different content. But when docker run with volume mount like this,
docker run -it --volume=/local/case/sensitive/dir:/case-sensitive image-name bash,
and look in /case-sensitive the two files T.gds and t.gds both contain the same data.
Is there a way around this?