Quote:
Originally Posted by shall1028
Filenames in Windows are case insensitive. That is if I open a command prompt and type: del ABC.txt the file abc.txt will be deleted.
Perhaps whatever libraries Valloric is using has interaction problems with Windows. I seem to recall there was a time in Windows Explorer where trying to change the name of a file from Heading.png to heading.png and back would not actually work. Perhaps there's remnants of that behaviour still present.
|
He is making sure that the case is exactly as named in usage, for file systems that
are case sensitive.
In Linux, you can have Image01.jpg and image01.jpg and Image01.JPG: All 3 at the same time. Windows gets
Changing the name by adding or removing a character forces Windows to re-write, it to the underlying directory entry, while changing the case, just changes what you see.
in Windows