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?

Fonzie!
link
fedilink
36M

Ooh that’s even cooler!

Not MySQL, though, but nice for usage in a terminal!

Create a post

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

  • Posts must be relevant to programming, programmers, or computer science.
  • No NSFW content.
  • Jokes must be in good taste. No hate speech, bigotry, etc.
  • 1 user online
  • 34 users / day
  • 108 users / week
  • 582 users / month
  • 2.25K users / 6 months
  • 1 subscriber
  • 1.66K Posts
  • 36.8K Comments
  • Modlog