How to Add History to the REPL Config File