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 ) 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. -- Roberto Rosetti OpenPGP Public key: 30575161