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

Fix history persistence bugs #560

Merged
merged 4 commits into from
Aug 14, 2021
Merged

Fix history persistence bugs #560

merged 4 commits into from
Aug 14, 2021

Conversation

gwenn
Copy link
Collaborator

@gwenn gwenn commented Aug 13, 2021

History file must be truncated in case new content is shorter than old
content (for example when duplicates are removed).

History file must be truncated in case new content is shorter than old
content (for example when duplicates are removed).
Old history file should not be considered as appendable if some of its
entries are ignored.
Lock all history file accesses
@gwenn gwenn merged commit 9f5a9e9 into kkawakam:master Aug 14, 2021
@gwenn gwenn deleted the history_bugs branch August 14, 2021 07:22
@sophiajt
Copy link

@gwenn - would it be possible to get a release of rustyline that includes this fix?

@gwenn
Copy link
Collaborator Author

gwenn commented Aug 17, 2021

@jntrnr Version 9.0.0 released.

@sophiajt
Copy link

@gwenn thank you!

@stormasm
Copy link

@gwenn thank you as well ---- we appreciate the fast turn around time on getting a release out for us... you are amazing !!

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

Successfully merging this pull request may close these issues.

None yet

3 participants