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

Use per-directory history in new shell #37

Merged
merged 1 commit into from Jun 16, 2020

Conversation

@smarsching
Copy link
Contributor

smarsching commented Jun 8, 2020

This patch fixes the problem that in a newly created shell, the global history would be used instead of the per-directory on. It does this by delaying the loading of the per-directory history until just before the prompt is created.

This PR fixes issue #5.

This patch fixes the problem that in a newly created shell, the global
history would be used instead of the per-directory on. It does this by
delaying the loading of the per-directory history until just before the
prompt is created.
@jimhester jimhester merged commit 2f86f3a into jimhester:master Jun 16, 2020
@jimhester
Copy link
Owner

jimhester commented Jun 16, 2020

Thanks!

@smarsching
Copy link
Contributor Author

smarsching commented Jun 16, 2020

@jimhester Thank you!
Will you create a PR for Oh My Zsh to update the plugin to the newest version there?

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

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.