<div dir="ltr"><div style>I've pushed a change that simply removes the call to normal-case-path. I expected to be able to break DrRacket after making that change, but I wasn't able to. Still, since this kind of change can lead to all kinds of bad behavior in surprising places, I'd be most grateful if others got that commit and started using things and let me know if goes wrong ...</div>
<div style><br></div><div style>Thanks for the help / reminders of this problem, too....</div><div style><br></div><div style>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Mar 2, 2013 at 2:10 PM, David T. Pierson <span dir="ltr"><<a href="mailto:dtp@mindstory.com" target="_blank">dtp@mindstory.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Fri, Mar 01, 2013 at 10:59:06PM -0700, Danny Yoo wrote:<br>
> In "framework", the implementation does use normal-case-path in its<br>
> implementation for put-file:<br>
><br>
> <a href="http://git.racket-lang.org/plt/blob/HEAD:/collects/framework/private/finder.rkt#l50" target="_blank">http://git.racket-lang.org/plt/blob/HEAD:/collects/framework/private/finder.rkt#l50</a><br>
<br>
</div>So that explains the cause, but what is the motivation behind this<br>
behavior? I tested saving a new file in the following apps on Windows:<br>
<br>
DrRacket<br>
Firefox<br>
Notepad<br>
WordPad<br>
Adobe Reader<br>
gVim<br>
<br>
Only DrRacket changes the case of the file name that the user specifies.<br>
<br>
Searching the bug database I see there is an open case for this:<br>
<br>
<a href="http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=6086" target="_blank">http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=6086</a><br>
<br>
... from 2003!<br>
<br>
Maybe a solution is more readily available now?<br>
<span class="HOEnZb"><font color="#888888"><br>
David<br>
</font></span><div class="HOEnZb"><div class="h5">____________________<br>
Racket Users list:<br>
<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>