On Fri, Mar 1, 2013 at 10:18 PM, Jordan Johnson <[email protected]> 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.
____________________
Racket Users list:
http://lists.racket-lang.org/users
