persistent history #1226
Open
persistent history #1226
+18
−0
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
jjb
commented
Jan 18, 2026
jjb
commented
- persistent command history
- notes
Author
|
@spacewander @hyperupcall take a look |
Author
|
i have comments in the code discussing different approaches we could take |
spacewander
reviewed
Jan 19, 2026
Collaborator
spacewander
left a comment
spacewander
left a comment
There was a problem hiding this comment.
I will vote for write command to history in all cases except for blank. Non-git command may be important to record.
spacewander
reviewed
Jan 19, 2026
| # global history for all projects. we could make option for per-project history | ||
| # for my use, i want this global history, and it's also much more simple to implement | ||
| # name is analogous to bash_history and zsh_history | ||
| HISTFILE=~/.git_repl_history |
Collaborator
There was a problem hiding this comment.
Better to make it configurable
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.