<div dir="ltr">Thanks for the comint trick, but I was pretty sure that slime-repl did not rely on comint as Stas confirmed.<div><br></div><div>I was also thinking about `slime-repl-clear-buffer'. Advising it is a good idea. </div>

<div><br></div><div>My problem is that I ran some program on huge data and it logged about 10^6 lines before finishing. </div><div><br></div><div>I'll try to devise something before doing that again. I want to see that things run as expected. But I don't want </div>

<div>to keep the whole history.</div><div><br></div><div>Fabrice</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/9/6 Joe Corneli <span dir="ltr"><<a href="mailto:holtzermann17@gmail.com" target="_blank">holtzermann17@gmail.com</a>></span><br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Fri, Sep 6, 2013 at 1:50 PM, Stas Boukarev <<a href="mailto:stassats@gmail.com">stassats@gmail.com</a>> wrote:<br>


> Fabrice Popineau <<a href="mailto:fabrice.popineau@supelec.fr">fabrice.popineau@supelec.fr</a>> writes:<br>
><br>
>> Hi,<br>
>><br>
>> Is there anyway to limit the size of the repl buffer ?<br>
>> Something like 10000 lines max for example.<br>
>> Emacs slows a lot with large buffers.<br>
> No, there isn't anything. You can clear the output manually with<br>
> C-c M-o.<br>
<br>
</div></div>Dude, with Emacs there's always a way.<br>
<br>
Indeed, a modified version of `slime-repl-clear-buffer' could clear<br>
out the required amount of content.  Really just a matter of figuring<br>
out what hook to add that to (per my earlier post) or what function to<br>
advise and Fabrice is sorted.<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>Fabrice Popineau<div>-----------------------------</div><div>SUPELEC</div><div>Département Informatique</div><div>3, rue Joliot Curie</div><div>91192 Gif/Yvette Cedex</div>

<div>Tel direct : +33 (0) 169851950</div><div>Standard : +33 (0) 169851212</div><div>------------------------------</div><div><br></div>
</div>