REPL history save frequency

cursive-ide / cursive

Cursive: The IDE for beautiful Clojure code

590 stars 7 forks source link

REPL history save frequency #2243

Open eoliphan opened 5 years ago

eoliphan commented 5 years ago

I'm trying to figure out how often the REPL history gets saved, I just spent several hours working on something, ran a test that ended up hanging the IDEA UI, after killing it and coming back none of what I'd done was in the history

jprudent commented 5 years ago

I think the repl history is saved in workspace.xml under the tag <component name="ReplState">. It would be nice to have some plain text file :) It would be a first step toward more advanced repl history based features.