[racket] File name case when saving in Win 7

On Fri, Mar 1, 2013 at 10:18 PM, Jordan Johnson <jmj at fellowhuman.com> wrote:
> Just realized I should clarify something about the following:
>
> On Feb 25, 2013, at 5:51 PM, Jordan Johnson wrote:
>> I have noticed that in Windows, DrRacket seems to be normalizing all file names to lowercase when I save.  Is it possible to alter this behavior? (I.e. is there some preference or setting I'm missing that would make it preserve case?  I've searched the docs and Web for terms such as "file name case", but come up dry.)
>
> I'm referring specifically to the behavior when saving a file under a new name for the first time.  I.e., if a file is already named "MyRacketProgram.rkt", DrRacket preserves the name, but if I choose "Save As" and type in a similarly mixed-case (or all-uppercase) name that results in creating a new file, DrRacket lowercases all the letters in the filename I request.
>
> I hope this is a clear enough explanation of what I'm asking about.

Hi Jordan,


According to:

    http://superuser.com/questions/165975/are-all-versions-of-windows-case-insensitive

Windows does not provide a case sensitive file system.


It's likely that DrRacket is normalizing the file paths based on the
case sensitivity (or insensitivity), using normal-case-path:

    http://docs.racket-lang.org/reference/Manipulating_Paths.html#%28def._%28%28lib._racket%2Fprivate%2Fmisc..rkt%29._normal-case-path%29%29


I haven't done a grep through the DrRacket source tree to confirm this
conjecture though.