Roberto Rosetti <rob.rose...@gmail.com> 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
