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.