Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Retain history after Julia restart #59

Open
dpsanders opened this issue Jan 19, 2022 · 3 comments
Open

Retain history after Julia restart #59

dpsanders opened this issue Jan 19, 2022 · 3 comments
Labels
enhancement New feature or request

Comments

@dpsanders
Copy link

I don't seem to be able to scroll or search back through the history of commands I've typed in previous infil> REPLs.
It would be really helpful to be able to do that.

@dpsanders
Copy link
Author

Ah, this could be because I reinstalled Infiltrator.jl?

@pfitzseb
Copy link
Member

Hm, history is retained in each Julia session, but not after a restart. I could write history to disk, but that's a bit of effort because reusing the global history file doesn't make much sense (since you can't enter the infil> prompt at will).

@pfitzseb pfitzseb added the enhancement New feature or request label Jan 19, 2022
@pfitzseb pfitzseb changed the title Can't see history from previous sessions Retain history after Julia restart Jan 19, 2022
@dpsanders
Copy link
Author

Thanks. Since I'm entering standard Julia commands at the Infil> prompt, I think it makes sense to add those to the global history file. But maybe I'm misunderstanding something about how the history files work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants