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
Delete from command history by Key command #1751
Comments
Note that this was requested in issue #554 but not implemented because the solution to that issue focused on the basic functionality. I would also argue that, since Elvish does not do duplicate command elimination, it makes more sense for a command history key binding to eliminate all instances of a command with the same character sequence rather than deleting a specific command sequence number as is done by |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I read #554 and deleted my history.
But history is as follows.
I want to delete directly from list (=Ctrl+R) with a keystroke such as Ctrl+Del.
The text was updated successfully, but these errors were encountered: