FilePathsBase.jl Deal with new case sensitivity madness in Windows

Deal with new case sensitivity madness in Windows

Open davidanthoff opened this issue 6 years ago • 3 comments

https://blogs.msdn.microsoft.com/commandline/2018/02/28/per-directory-case-sensitivity-and-wsl/

So now it is completely unclear how one should compare two WindowsPaths for equality...

Mar 01 '18 05:03 davidanthoff

WAT!?

To solve this problem, we added a new case sensitive flag that can be applied to directories.

At some point it seems like you should cut your losses and just use different filesystems :(

Mar 01 '18 05:03 rofinn

Pure horror.

Mar 01 '18 05:03 davidanthoff

And more changes coming:

https://blogs.msdn.microsoft.com/commandline/2018/06/14/improved-per-directory-case-sensitivity-support-in-wsl/

Jun 15 '18 04:06 davidanthoff