Persistent history #13
Description
Hi,
I didn't found how to have persistent history. I think that's a great feature of better REPL.
Would it be possible to enable history_filename ?
Regards,
Étienne
{{ message }}
Hi,
I didn't found how to have persistent history. I think that's a great feature of better REPL.
Would it be possible to enable history_filename ?
Regards,
Étienne