I'm not a programmer but I do this on the Linux command line all the time to find a command I used days or weeks ago. Or I'll spend 20 minutes grepping history instead. All to avoid spending 5 minutes reading the manpage so I can remember which flags and arguments I used.
Perhaps pressing [Ctrl]+[R] and typing to search makes it easier, I mean instead of grepping history?
Most terminal emulators support it.
You can also change your query (backspacing and typing again) and press [Ctrl]+[R] multiple times to go to older matches.
I will have to try that, I didn't know that functionality existed, thanks!
Let me tell you that you can also add comments to your terminal commands and use them to search history using fzf. This might sound confusing but basically you do this:
commandwithweirdoptions --option1=value1 --option2=value2 # run the usual thing
Then you press Ctrl+R and type anything like «the thing», it uses fuzzy matching and finds the command in history, with a menu of other similar commands. Press enter, done.
Note that you need to have fzf installed, otherwise there is no fuzzy matching and no menu of matching history results.
Seems to work with [Ctrl]+[R] as well, though of course only with exact matches.
Sure, just as I said, this would work id you don't need menu or fuzzy matching. But I would recommend using fzf history search anyway, it's just too good.
M-hm, I will try it as well! I was just letting people know the comment trick works regardless, cause that's a nice tip as well!
I've never understood prompt decoration like this.
How.
Does.
Punctuating.
Every.
Statement.
Increase.
Readability.
You meant the PS1 prompt?
I just use one of the default oh-my-zsh themes that makes a clear line, so I can easily find the last line above a long output, for example when trying to read it back chronologically. With other PS1's I often scroll over it without noticing.
It makes my eyes bleed.
Also, atuin.sh.
This looks super neat but I don't really like the idea of sending my shell history to a third party, nor can I host my own server right now.
Wish it was peer-to-peer like Syncthing
I don’t either, but you don’t have to use that feature. I don’t. I just use with local db for that machine.
And then you realise your dumb endless ls-ing has pushed the command off the history list
This is too accurate!
Can you change the history list size?
Can you configure it to ignore ls and cd ..
ctrl+r to do a reverse search of the history instead
May i introduce u to atuin
I think you mean Crtl+R in bash
What does this sometimes appear not to work for me even though the command is clearly in the history?
Ooh that's even cooler!
Not MySQL, though, but nice for usage in a terminal!
Nah thanks, up arrow hasnt failed me yet
I don't believe in A'tuin. The world is obviously carried on the back of a badger.
But the turtle moves.
And the honey badger mauls. My planet could beat up your planet in a fight.
Have you used fish? The built-in fuzzy matching works pretty well for me. Wondering if there's any reason to add atuin in. Sync seems like a negative to me more than a positive.
I use fish with atuin but without sync. It is nice because I can search commands for a given workspace. For example the commands within a given git repository.
Yeah they are compatible. Sync can be disabled entirely or self hosted.
*tap*
no
*tap*
no
*tap*
no
Okay, NOW it's getting personal!
me typing “sudo !!” instead of rewriting the shell command undoes this.
Me in the bash terminal
Who is writing SQL in the terminal?
MariaDB CLI about once in a blue moon when I have to clear some table that's gotten borked.
Was thinking the same thing... now, searching through all my SQL scripts for the past year to find the same logic I want to replicate in another script, well that's different.
I save "template" SQL queries in a special directory so that I don't have to google how to do specific things. It's basically my own personal "examples" folder.
Post funny things about programming here! (Or just rant about your favourite programming language.)
