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

Deleting commands from history / editing history #19

Open
Magnusgaertner opened this issue May 7, 2023 · 0 comments
Open

Deleting commands from history / editing history #19

Magnusgaertner opened this issue May 7, 2023 · 0 comments

Comments

@Magnusgaertner
Copy link

Hi, thank you for the project.

I am using it to have a convenient shell history that is synced instantly over all open terminals. However, I have not found / do not know how to edit / delete entries in the history.

An example use case for this would be, an accidentally pasted clipboard with lots of 'rubbish' that then later on spams the completions. Or of course, entries containing sensitive data. (https://github.com/dvorka/hstr solves this quite well from a user perspective, however with a much more primitive backend).

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

No branches or pull requests

1 participant