Ctrl + R is bash history search
That sounds an aweful lot like typing to me
I feel dirty for still using
history | grep lslolUse fzf for an improved experience!
So basically this? It’s absolutely amazing. Just be warned that it replaces ctrl+R AND up arrow shortcuts by default. You can easily disable the up arrow though.
I’ve not heard about atuin before but seems to do the same thing. I don’t know the specific differences.
zsh if you can survive configuring it
Ctrl-r
That said… I didn’t discover it so early as I should…
id type out
more ~/.bash_history | grep lsand copy, paste before id type outlstbhat least you avoided a “useless cat” by using “more” instead. Respect Bro!
Me last Thursday:
user@work5:~$ [CTRL-R] ls
user@work5:~$ ls
me: “That will do…”
