<HTML><BODY><a href="https://github.com/Kalimehtar/Racket-gir/blob/master/manual.scrbl" data-mce-href="https://github.com/Kalimehtar/Racket-gir/blob/master/manual.scrbl">https://github.com/Kalimehtar/Racket-gir/blob/master/manual.scrbl</a><br><br><br>Суббота, 10 августа 2013, 14:55 -05:00 от Robby Findler &lt;robby@eecs.northwestern.edu&gt;:<br>
<blockquote style="border-left-width: 1px; border-left-style: solid; border-left-color: rgb(8, 87, 166); margin-top: 10px; margin-right: 10px; margin-bottom: 10px; margin-left: 10px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 10px; position: static; z-index: auto; " class="mailru-blockquote">
        <div id="">
        



    






        

        
        
        
        
        

        



<div class="js-helper js-readmsg-msg">
        <style type="text/css"></style>
        <div id="style_13761645550000000593" class="mr_read__body">
                <base target="_self" href="https://e.mail.ru/">
                
                        <div id="style_13761645550000000593_BODY">Can you post an example file that has this problem, please?<div><br></div><div>Thanks,</div><div>Robby<span></span><br><br>On Saturday, August 10, 2013, Roman Klochkov  wrote:<br><blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div><br>Error text is: <br>open-output-file: forbidden (write) access to /home/monk/.racket/planet/300/5.3.5/.LOCKHARD-LINKS<br><br>/home/monk is my home directory.<br><br>It appears when I edit .scrbl file. I can make html or check syntax, no errors. But background check gives this error.<br>
I checked the file: it created by DrRacket (I delete it, then start drracket, it appears). So drracket can write to the file.&nbsp;<br><br>Please help<br><br>-- <br>Roman Klochkov</div>
</blockquote></div>

</div>
                        
                
                <base target="_self" href="https://e.mail.ru/">
        </div>

        
</div>


</div>
</blockquote>
<br>
<br>-- 
<br>Roman Klochkov<br></BODY></HTML>