<br><br><div class="gmail_quote">On Thu Dec 04 2014 at 9:36:08 AM Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Wed, Dec 3, 2014 at 10:30 PM, Prabhakar Ragde <<a href="mailto:plragde@uwaterloo.ca" target="_blank">plragde@uwaterloo.ca</a>> wrote:<br>
> I'm currently using Racket 6.1. For some time now, when editing Scribble<br>
> files in DrRacket, I've been getting "file has changed on disk" messages<br>
> when trying to save or render - not consistently, just every so often. These<br>
> are files I am not editing in anything other than DrRacket. I click "ignore"<br>
> and everything works fine, but it is annoying.<br>
<br>
This is definitely a bug somewhere and I've had not a lot of luck<br>
tracking it down.</blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
I guess that what's happening is something is actually changing the<br>
file on the disk (perhaps DrRacket itself) and it shouldn't.<br>
<br>
So if you can figure out what feature of DrRacket is making this<br>
happen or verify that the file is actually not changing on the disk,<br>
either of those would be helpful.</blockquote><div><div><br></div><div>Here's a thought on tracking it down:</div><div><br></div><div>* Run DrRacket under strace, looking at the calls to `open()` and `write()`.</div><div><br></div><div>* Add to relevant places in DrRacket something like this:</div><div>   (access string F_OK)</div><div><br></div><div>where `access` is an FFI call to the C library access function, and F_OK is the appropriate constant. Then those messages will appear in the strace output, so you can see what DrRacket is doing right around the time it opens or writes to the relevant file.</div><div><br></div><div>I got this trick from here: <a href="https://people.gnome.org/~federico/news-2006-03.html#09">https://people.gnome.org/~federico/news-2006-03.html#09</a> where it's used to plot timelines (also cool) but it might be useful for debugging in this case.</div><div><br></div><div>Sam</div></div></div>