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

Theme: Implement history -d in terminal #828

Closed
XhmikosR opened this issue Jul 31, 2017 · 17 comments
Closed

Theme: Implement history -d in terminal #828

XhmikosR opened this issue Jul 31, 2017 · 17 comments

Comments

@XhmikosR
Copy link

https://www.gnu.org/software/bash/manual/html_node/Bash-History-Builtins.html

@iliajie
Copy link
Collaborator

iliajie commented Jul 31, 2017

Yes, I actually remember.

Thanks, pal for opening an issue. I will try. ;)

@iliajie iliajie changed the title Implement history -d in terminal Theme: Implement history -d in terminal Jul 31, 2017
@XhmikosR
Copy link
Author

Yeah, I had forgotten to open an issue :/

I wonder @qooob, would it also be possible to implement ctrl+R for reverse searching of history?

@iliajie
Copy link
Collaborator

iliajie commented Jul 31, 2017

What do you mean by reverse searching? Why not use browser search?

My name is Ilia, by the way! ;)

@XhmikosR
Copy link
Author

But how would you search your terminal history via browser history? That is what ctrl+R does in unix :)

@iliajie
Copy link
Collaborator

iliajie commented Jul 31, 2017

Oh, that's what you want. Sure it's possible.

@iliajie
Copy link
Collaborator

iliajie commented Aug 1, 2017

This is actually interesting that you are asking about ctrl+R search. How about using history |grep string?

@XhmikosR
Copy link
Author

XhmikosR commented Aug 1, 2017 via email

@iliajie
Copy link
Collaborator

iliajie commented Aug 1, 2017

Okay.

@iliajie
Copy link
Collaborator

iliajie commented Nov 19, 2017

This functionality been added with d270dbf commit.

To remove from theme's command shell's history use:

history -d [n]

To show history use:

history

To clear history use:

history -c

@iliajie iliajie closed this as completed Nov 19, 2017
@XhmikosR
Copy link
Author

Thanks!

@iliajie
Copy link
Collaborator

iliajie commented Jan 16, 2018

I wonder @qooob, would it also be possible to implement Ctrl+R for reverse searching of history?

Now I see this feature is necessary.

I'll try adding it. Thanks.

#991

@iliajie
Copy link
Collaborator

iliajie commented Feb 19, 2019

@XhmikosR Ctrl+R search in drop-down command shell is now implemented. Give it a try in the latest dev version! 😉
screenshot from 2019-02-19 18-18-24

@XhmikosR
Copy link
Author

Thanks, I'll try it in the next stable version :)

@iliajie
Copy link
Collaborator

iliajie commented Feb 19, 2019

You can try it already! It would be great actually if you tried it before, to avoid possible bugs in the release.

@XhmikosR
Copy link
Author

Sorry, I don't have a dev machine available to test :/

@XhmikosR
Copy link
Author

@rostovtsev: works pretty good, nice!

@iliajie
Copy link
Collaborator

iliajie commented Feb 23, 2019

Good to know. 😉 Thanks for giving it a try!

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

No branches or pull requests

2 participants