Re: How to flush history ?

[Neil Jerram]

Roberto Rosetti <address@hidden> writes:

> Hi all,
>
> I'm wondering how to flush the recent readline history to a file. I need this
> feature for an educational project.
> The purpose is to permit the REPL user to save his entire history with a 
> simple
> command. Something like (flush-history <params>)
> I've read something about (loggin logger) module but there are not examples
> about hooks and coding.
> I'm not a guile hacker,I'm still learning..
> Thanks in advance.

Hi Roberto,

The readline history is already saved to a file, ~/.guile_history.
Does that provide what you need?

(I'm not sure offhand if it is saved after every line is entered, or
when you quit Guile; but maybe that difference is not important for
you anyway.)

     Neil